From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/SUMO/TPTP/engineeringAx.p | 911 ------------------------------------- 1 file changed, 911 deletions(-) delete mode 100644 examples/SUMO/TPTP/engineeringAx.p (limited to 'examples/SUMO/TPTP/engineeringAx.p') diff --git a/examples/SUMO/TPTP/engineeringAx.p b/examples/SUMO/TPTP/engineeringAx.p deleted file mode 100644 index 20b0f1c16..000000000 --- a/examples/SUMO/TPTP/engineeringAx.p +++ /dev/null @@ -1,911 +0,0 @@ -fof(axengineering0, axiom, - ( ! [X] : - (hasType(type_AcrossVariableAccumulator, X) => hasType(type_PureTwopole, X)))). - -fof(axengineering1, axiom, - ( ! [X] : - (hasType(type_AcrossVariableSource, X) => hasType(type_Source, X)))). - -fof(axengineering2, axiom, - ( ! [X] : - (hasType(type_AlgebraicEquation, X) => hasType(type_Equation, X)))). - -fof(axengineering3, axiom, - ( ! [X] : - (hasType(type_Amplifier, X) => hasType(type_ElectricalCircuit, X)))). - -fof(axengineering4, axiom, - ( ! [X] : - (hasType(type_ApplicationDomain, X) => hasType(type_InternalAttribute, X)))). - -fof(axengineering5, axiom, - ( ! [X] : - (hasType(type_AstronomyDomain, X) => hasType(type_PhysicsDomain, X)))). - -fof(axengineering6, axiom, - ( ! [X] : - (hasType(type_Autonomous, X) => hasType(type_InternalAttribute, X)))). - -fof(axengineering7, axiom, - ( ! [X] : - (hasType(type_Backlashless, X) => hasType(type_InternalAttribute, X)))). - -fof(axengineering8, axiom, - ( ! [X] : - (hasType(type_Base, X) => hasType(type_Terminal, X)))). - -fof(axengineering9, axiom, - ( ! [X] : - (hasType(type_Battery, X) => hasType(type_DCPowerSource, X)))). - -fof(axengineering10, axiom, - ( ! [X] : - (hasType(type_BesselsEquation, X) => hasType(type_NonlinearEquation, X)))). - -fof(axengineering11, axiom, - ( ! [X] : - (hasType(type_BesselsEquation, X) => hasType(type_OrdinaryDifferentialEquation, X)))). - -fof(axengineering12, axiom, - ( ! [X] : - (hasType(type_BjtTransistor, X) => hasType(type_Transistor, X)))). - -fof(axengineering13, axiom, - ( ! [X] : - (hasType(type_BridgeSinglePhaseRectifier, X) => hasType(type_SinglePhaseRectifier, X)))). - -fof(axengineering14, axiom, - ( ! [X] : - (hasType(type_Brushless, X) => hasType(type_InternalAttribute, X)))). - -fof(axengineering15, axiom, - ( ! [X] : - (hasType(type_CapacitorElement, X) => hasType(type_ElectricDevice, X)))). - -fof(axengineering16, axiom, - ( ! [X] : - (hasType(type_Capacitor, X) => hasType(type_ElectricalComponent, X)))). - -fof(axengineering17, axiom, - ( ! [X] : - (hasType(type_Car, X) => hasType(type_Vehicle, X)))). - -fof(axengineering18, axiom, - ( ! [X] : - (hasType(type_CircuitTheoryDomain, X) => hasType(type_ElectricalEngineeringDomain, X)))). - -fof(axengineering19, axiom, - ( ! [X] : - (hasType(type_CircuitTheoryDomain, X) => hasType(type_PhysicsDomain, X)))). - -fof(axengineering20, axiom, - ( ! [X] : - (hasType(type_Collector, X) => hasType(type_Terminal, X)))). - -fof(axengineering21, axiom, - ( ! [X] : - (hasType(type_ComputerFile, X) => hasType(type_ContentBearingObject, X)))). - -fof(axengineering22, axiom, - ( ! [X] : - (hasType(type_ComputerProgram, X) => hasType(type_ITAgent, X)))). - -fof(axengineering23, axiom, - ( ! [X] : - (hasType(type_ConductorSubstance, X) => hasType(type_Substance, X)))). - -fof(axengineering24, axiom, - ( ! [X] : - (hasType(type_ControlDesignMethod, X) => hasType(type_Method, X)))). - -fof(axengineering25, axiom, - ( ! [X] : - (hasType(type_ControlDomain, X) => hasType(type_EngineeringDomain, X)))). - -fof(axengineering26, axiom, - ( ! [X] : - (hasType(type_Controller, X) => hasType(type_UnknownDomainDevice, X)))). - -fof(axengineering27, axiom, - ( ! [X] : - (hasType(type_DCPowerSource, X) => hasType(type_PowerSource, X)))). - -fof(axengineering28, axiom, - ( ! [X] : - (hasType(type_DamperElement, X) => hasType(type_Dissipator, X)))). - -fof(axengineering29, axiom, - ( ! [X] : - (hasType(type_DamperElement, X) => hasType(type_TranslatoryTwopole, X)))). - -fof(axengineering30, axiom, - ( ! [X] : - (hasType(type_DcMotor, X) => hasType(type_ElectricalMotor, X)))). - -fof(axengineering31, axiom, - ( ! [X] : - (hasType(type_DifferentialEquation, X) => hasType(type_Equation, X)))). - -fof(axengineering32, axiom, - ( ! [X] : - (hasType(type_Diode, X) => hasType(type_SemiconductorComponent, X)))). - -fof(axengineering33, axiom, - ( ! [X] : - (hasType(type_DirectionalControlValve, X) => hasType(type_Valve, X)))). - -fof(axengineering34, axiom, - ( ! [X] : - (hasType(type_Discretization, X) => hasType(type_MathematicalMethod, X)))). - -fof(axengineering35, axiom, - ( ! [X] : - (hasType(type_Dissipator, X) => hasType(type_PureTwopole, X)))). - -fof(axengineering36, axiom, - ( ! [X] : - (hasType(type_DocumentCategory, X) => hasType(type_WebDocumentAttribute, X)))). - -fof(axengineering37, axiom, - ( ! [X] : - (hasType(type_DoublerSinglePhaseRectifier, X) => hasType(type_SinglePhaseRectifier, X)))). - -fof(axengineering38, axiom, - ( ! [X] : - (hasType(type_ElectricalCircuit, X) => hasType(type_ElectricDevice, X)))). - -fof(axengineering39, axiom, - ( ! [X] : - (hasType(type_ElectricalComponent, X) => hasType(type_ElectricDevice, X)))). - -fof(axengineering40, axiom, - ( ! [X] : - (hasType(type_ElectricalConductor, X) => hasType(type_ElectricalComponent, X)))). - -fof(axengineering41, axiom, - ( ! [X] : - (hasType(type_ElectricalDrivesDomain, X) => hasType(type_ElectroMechanicalDevicesDomain, X)))). - -fof(axengineering42, axiom, - ( ! [X] : - (hasType(type_ElectricalEngineeringDomain, X) => hasType(type_EngineeringDomain, X)))). - -fof(axengineering43, axiom, - ( ! [X] : - (hasType(type_ElectricalEngineeringMethod, X) => hasType(type_Method, X)))). - -fof(axengineering44, axiom, - ( ! [X] : - (hasType(type_ElectricalMotor, X) => hasType(type_ElectricDevice, X)))). - -fof(axengineering45, axiom, - ( ! [X] : - (hasType(type_ElectricalMotor, X) => hasType(type_Motor, X)))). - -fof(axengineering46, axiom, - ( ! [X] : - (hasType(type_ElectricalMultipoleModel, X) => hasType(type_MultipoleModel, X)))). - -fof(axengineering47, axiom, - ( ! [X] : - (hasType(type_ElectricalProcess, X) => hasType(type_NaturalProcess, X)))). - -fof(axengineering48, axiom, - ( ! [X] : - (hasType(type_ElectricalResonance, X) => hasType(type_ElectricalProcess, X)))). - -fof(axengineering49, axiom, - ( ! [X] : - (hasType(type_ElectricalResonance, X) => hasType(type_Resonance, X)))). - -fof(axengineering50, axiom, - ( ! [X] : - (hasType(type_ElectricalTwopole, X) => hasType(type_PureTwopole, X)))). - -fof(axengineering51, axiom, - ( ! [X] : - (hasType(type_ElectroMechanicalDevicesDomain, X) => hasType(type_ElectricalEngineeringDomain, X)))). - -fof(axengineering52, axiom, - ( ! [X] : - (hasType(type_ElectroMechanicalDevicesDomain, X) => hasType(type_MechanicalEngineeringDomain, X)))). - -fof(axengineering53, axiom, - ( ! [X] : - (hasType(type_ElectronicsDomain, X) => hasType(type_ElectricalEngineeringDomain, X)))). - -fof(axengineering54, axiom, - ( ! [X] : - (hasType(type_Emitter, X) => hasType(type_Terminal, X)))). - -fof(axengineering55, axiom, - ( ! [X] : - (hasType(type_EngineeringDomain, X) => hasType(type_ScienceDomain, X)))). - -fof(axengineering56, axiom, - ( ! [X] : - (hasType(type_EngineersProcess, X) => hasType(type_EngineersSubprocess, X)))). - -fof(axengineering57, axiom, - ( ! [X] : - (hasType(type_EngineersSubprocess, X) => hasType(type_IntentionalProcess, X)))). - -fof(axengineering58, axiom, - ( ! [X] : - (hasType(type_EquationAttribute, X) => hasType(type_InternalAttribute, X)))). - -fof(axengineering59, axiom, - ( ! [X] : - (hasType(type_Equation, X) => hasType(type_Proposition, X)))). - -fof(axengineering60, axiom, - ( ! [X] : - (hasType(type_FetTransistor, X) => hasType(type_Transistor, X)))). - -fof(axengineering61, axiom, - ( ! [X] : - (hasType(type_FileSystem, X) => hasType(type_Group, X)))). - -fof(axengineering62, axiom, - ( ! [X] : - (hasType(type_FirstOrderDifferentialEquation, X) => hasType(type_DifferentialEquation, X)))). - -fof(axengineering63, axiom, - ( ! [X] : - (hasType(type_FluidCylinder, X) => hasType(type_FluidPowerDevice, X)))). - -fof(axengineering64, axiom, - ( ! [X] : - (hasType(type_FluidCylinder, X) => hasType(type_MechanicalDevice, X)))). - -fof(axengineering65, axiom, - ( ! [X] : - (hasType(type_FluidPowerDevice, X) => hasType(type_EngineeringComponent, X)))). - -fof(axengineering66, axiom, - ( ! [X] : - (hasType(type_FluidPowerDomain, X) => hasType(type_MechanicalEngineeringDomain, X)))). - -fof(axengineering67, axiom, - ( ! [X] : - (hasType(type_FourierAnalysis, X) => hasType(type_MathematicalMethod, X)))). - -fof(axengineering68, axiom, - ( ! [X] : - (hasType(type_FourierSynthesis, X) => hasType(type_MathematicalMethod, X)))). - -fof(axengineering69, axiom, - ( ! [X] : - (hasType(type_Fourpole, X) => hasType(type_Multipole, X)))). - -fof(axengineering70, axiom, - ( ! [X] : - (hasType(type_FrequencyFilter, X) => hasType(type_ElectricalCircuit, X)))). - -fof(axengineering71, axiom, - ( ! [X] : - (hasType(type_Friction, X) => hasType(type_MechanicalProcess, X)))). - -fof(axengineering72, axiom, - ( ! [X] : - (hasType(type_GearTrain, X) => hasType(type_MechanicalDevice, X)))). - -fof(axengineering73, axiom, - ( ! [X] : - (hasType(type_Gear, X) => hasType(type_MechanicalDevice, X)))). - -fof(axengineering74, axiom, - ( ! [X] : - (hasType(type_Gearbox, X) => hasType(type_MechanicalDevice, X)))). - -fof(axengineering75, axiom, - ( ! [X] : - (hasType(type_Gyrator, X) => hasType(type_Transducer, X)))). - -fof(axengineering76, axiom, - ( ! [X] : - (hasType(type_HalfWaveSinglePhaseRectifier, X) => hasType(type_SinglePhaseRectifier, X)))). - -fof(axengineering77, axiom, - ( ! [X] : - (hasType(type_HigherOrderDifferentialEquation, X) => hasType(type_DifferentialEquation, X)))). - -fof(axengineering78, axiom, - ( ! [X] : - (hasType(type_Human, X) => hasType(type_ITAgent, X)))). - -fof(axengineering79, axiom, - ( ! [X] : - (hasType(type_ITAgent, X) => hasType(type_Agent, X)))). - -fof(axengineering80, axiom, - ( ! [X] : - (hasType(type_ITProcess, X) => hasType(type_IntentionalProcess, X)))). - -fof(axengineering81, axiom, - ( ! [X] : - (hasType(type_IdealOperationalAmplifier, X) => hasType(type_Fourpole, X)))). - -fof(axengineering82, axiom, - ( ! [X] : - (hasType(type_IdealSwitch, X) => hasType(type_PureTwopole, X)))). - -fof(axengineering83, axiom, - ( ! [X] : - (hasType(type_IdealTwopole, X) => hasType(type_PureTwopole, X)))). - -fof(axengineering84, axiom, - ( ! [X] : - (hasType(type_InductionMotor, X) => hasType(type_ElectricalMotor, X)))). - -fof(axengineering85, axiom, - ( ! [X] : - (hasType(type_InductorElement, X) => hasType(type_ElectricDevice, X)))). - -fof(axengineering86, axiom, - ( ! [X] : - (hasType(type_Inductor, X) => hasType(type_ElectricalComponent, X)))). - -fof(axengineering87, axiom, - ( ! [X] : - (hasType(type_Inertor, X) => hasType(type_AcrossVariableAccumulator, X)))). - -fof(axengineering88, axiom, - ( ! [X] : - (hasType(type_Inertor, X) => hasType(type_TranslatoryTwopole, X)))). - -fof(axengineering89, axiom, - ( ! [X] : - (hasType(type_Installation, X) => hasType(type_ITProcess, X)))). - -fof(axengineering90, axiom, - ( ! [X] : - (hasType(type_InsulatorSubstance, X) => hasType(type_Substance, X)))). - -fof(axengineering91, axiom, - ( ! [X] : - (hasType(type_InvertingAmplifier, X) => hasType(type_Amplifier, X)))). - -fof(axengineering92, axiom, - ( ! [X] : - (hasType(type_JfetTransistor, X) => hasType(type_FetTransistor, X)))). - -fof(axengineering93, axiom, - ( ! [X] : - (hasType(type_LED, X) => hasType(type_Diode, X)))). - -fof(axengineering94, axiom, - ( ! [X] : - (hasType(type_LexiconCategory, X) => hasType(type_InternalAttribute, X)))). - -fof(axengineering95, axiom, - ( ! [X] : - (hasType(type_LinearEquation, X) => hasType(type_Equation, X)))). - -fof(axengineering96, axiom, - ( ! [X] : - (hasType(type_MathematicalMethod, X) => hasType(type_Method, X)))). - -fof(axengineering97, axiom, - ( ! [X] : - (hasType(type_MathematicalModel, X) => hasType(type_Model, X)))). - -fof(axengineering98, axiom, - ( ! [X] : - (hasType(type_MathematicalPendulum, X) => hasType(type_MathematicalModel, X)))). - -fof(axengineering99, axiom, - ( ! [X] : - (hasType(type_MathematicsDomain, X) => hasType(type_NaturalSciencesDomain, X)))). - -fof(axengineering100, axiom, - ( ! [X] : - (hasType(type_MechanicalDevice, X) => hasType(type_EngineeringComponent, X)))). - -fof(axengineering101, axiom, - ( ! [X] : - (hasType(type_MechanicalEngineeringDomain, X) => hasType(type_EngineeringDomain, X)))). - -fof(axengineering102, axiom, - ( ! [X] : - (hasType(type_MechanicalProcess, X) => hasType(type_NaturalProcess, X)))). - -fof(axengineering103, axiom, - ( ! [X] : - (hasType(type_MechanicalResonance, X) => hasType(type_MechanicalProcess, X)))). - -fof(axengineering104, axiom, - ( ! [X] : - (hasType(type_MechanicalResonance, X) => hasType(type_Resonance, X)))). - -fof(axengineering105, axiom, - ( ! [X] : - (hasType(type_MechanicsDomain, X) => hasType(type_PhysicsDomain, X)))). - -fof(axengineering106, axiom, - ( ! [X] : - (hasType(type_Method, X) => hasType(type_Procedure, X)))). - -fof(axengineering107, axiom, - ( ! [X] : - (hasType(type_Model, X) => hasType(type_Abstract, X)))). - -fof(axengineering108, axiom, - ( ! [X] : - (hasType(type_Modeling, X) => hasType(type_IntentionalProcess, X)))). - -fof(axengineering109, axiom, - ( ! [X] : - (hasType(type_MosfetTransistor, X) => hasType(type_FetTransistor, X)))). - -fof(axengineering110, axiom, - ( ! [X] : - (hasType(type_Motor, X) => hasType(type_MechanicalDevice, X)))). - -fof(axengineering111, axiom, - ( ! [X] : - (hasType(type_MultipoleAttribute, X) => hasType(type_InternalAttribute, X)))). - -fof(axengineering112, axiom, - ( ! [X] : - (hasType(type_MultipoleDiagram, X) => hasType(type_ContentBearingObject, X)))). - -fof(axengineering113, axiom, - ( ! [X] : - (hasType(type_MultipoleModel, X) => hasType(type_Model, X)))). - -fof(axengineering114, axiom, - ( ! [X] : - (hasType(type_MultipoleModeling, X) => hasType(type_Modeling, X)))). - -fof(axengineering115, axiom, - ( ! [X] : - (hasType(type_MultipolePole, X) => hasType(type_Model, X)))). - -fof(axengineering116, axiom, - ( ! [X] : - (hasType(type_MultipolePort, X) => hasType(type_MultipoleSection, X)))). - -fof(axengineering117, axiom, - ( ! [X] : - (hasType(type_MultipoleQuantity, X) => hasType(type_Quantity, X)))). - -fof(axengineering118, axiom, - ( ! [X] : - (hasType(type_MultipoleSection, X) => hasType(type_Model, X)))). - -fof(axengineering119, axiom, - ( ! [X] : - (hasType(type_MultipoleVariable, X) => hasType(type_Number, X)))). - -fof(axengineering120, axiom, - ( ! [X] : - (hasType(type_Multipole, X) => hasType(type_Model, X)))). - -fof(axengineering121, axiom, - ( ! [X] : - (hasType(type_MutualInductance, X) => hasType(type_Inductance, X)))). - -fof(axengineering122, axiom, - ( ! [X] : - (hasType(type_NaturalSciencesDomain, X) => hasType(type_ScienceDomain, X)))). - -fof(axengineering123, axiom, - ( ! [X] : - (hasType(type_NewtonsFirstLaw, X) => hasType(type_NewtonsLaw, X)))). - -fof(axengineering124, axiom, - ( ! [X] : - (hasType(type_NewtonsLaw, X) => hasType(type_ScientificLaw, X)))). - -fof(axengineering125, axiom, - ( ! [X] : - (hasType(type_NewtonsSecondLaw, X) => hasType(type_NewtonsLaw, X)))). - -fof(axengineering126, axiom, - ( ! [X] : - (hasType(type_NewtonsThirdLaw, X) => hasType(type_NewtonsLaw, X)))). - -fof(axengineering127, axiom, - ( ! [X] : - (hasType(type_NoninvertingAmplifier, X) => hasType(type_Amplifier, X)))). - -fof(axengineering128, axiom, - ( ! [X] : - (hasType(type_NonlinearCircuit, X) => hasType(type_ElectricalMultipoleModel, X)))). - -fof(axengineering129, axiom, - ( ! [X] : - (hasType(type_NonlinearEquation, X) => hasType(type_Equation, X)))). - -fof(axengineering130, axiom, - ( ! [X] : - (hasType(type_Nonlinear, X) => hasType(type_InternalAttribute, X)))). - -fof(axengineering131, axiom, - ( ! [X] : - (hasType(type_NpnTransistor, X) => hasType(type_BjtTransistor, X)))). - -fof(axengineering132, axiom, - ( ! [X] : - (hasType(type_OperationalAmplifier, X) => hasType(type_ElectricalCircuit, X)))). - -fof(axengineering133, axiom, - ( ! [X] : - (hasType(type_OrdinaryDifferentialEquation, X) => hasType(type_DifferentialEquation, X)))). - -fof(axengineering134, axiom, - ( ! [X] : - (hasType(type_ParallelResonance, X) => hasType(type_ElectricalResonance, X)))). - -fof(axengineering135, axiom, - ( ! [X] : - (hasType(type_PartialDifferentialEquation, X) => hasType(type_DifferentialEquation, X)))). - -fof(axengineering136, axiom, - ( ! [X] : - (hasType(type_Pendulum, X) => hasType(type_MechanicalDevice, X)))). - -fof(axengineering137, axiom, - ( ! [X] : - (hasType(type_PermanentMagnetDcMotor, X) => hasType(type_DcMotor, X)))). - -fof(axengineering138, axiom, - ( ! [X] : - (hasType(type_PhysicalDimension, X) => hasType(type_Quantity, X)))). - -fof(axengineering139, axiom, - ( ! [X] : - (hasType(type_PhysicalDomain, X) => hasType(type_InternalAttribute, X)))). - -fof(axengineering140, axiom, - ( ! [X] : - (hasType(type_PhysicsDomain, X) => hasType(type_NaturalSciencesDomain, X)))). - -fof(axengineering141, axiom, - ( ! [X] : - (hasType(type_PnpTransistor, X) => hasType(type_BjtTransistor, X)))). - -fof(axengineering142, axiom, - ( ! [X] : - (hasType(type_PostulateOfContinuity, X) => hasType(type_MultipolePostulate, X)))). - -fof(axengineering143, axiom, - ( ! [X] : - (hasType(type_PowerElectronicsDomain, X) => hasType(type_ElectronicsDomain, X)))). - -fof(axengineering144, axiom, - ( ! [X] : - (hasType(type_PowerSource, X) => hasType(type_Device, X)))). - -fof(axengineering145, axiom, - ( ! [X] : - (hasType(type_PressureControlValve, X) => hasType(type_Valve, X)))). - -fof(axengineering146, axiom, - ( ! [X] : - (hasType(type_PureTwopole, X) => hasType(type_Twopole, X)))). - -fof(axengineering147, axiom, - ( ! [X] : - (hasType(type_Pwm, X) => hasType(type_ElectricalEngineeringMethod, X)))). - -fof(axengineering148, axiom, - ( ! [X] : - (hasType(type_RCCircuit, X) => hasType(type_ElectricalMultipoleModel, X)))). - -fof(axengineering149, axiom, - ( ! [X] : - (hasType(type_RLCCircuit, X) => hasType(type_ElectricalMultipoleModel, X)))). - -fof(axengineering150, axiom, - ( ! [X] : - (hasType(type_RLCircuit, X) => hasType(type_ElectricalMultipoleModel, X)))). - -fof(axengineering151, axiom, - ( ! [X] : - (hasType(type_Rectifier, X) => hasType(type_ElectricalCircuit, X)))). - -fof(axengineering152, axiom, - ( ! [X] : - (hasType(type_Relay, X) => hasType(type_ElectricalComponent, X)))). - -fof(axengineering153, axiom, - ( ! [X] : - (hasType(type_Relay, X) => hasType(type_MechanicalDevice, X)))). - -fof(axengineering154, axiom, - ( ! [X] : - (hasType(type_RelaysDomain, X) => hasType(type_ElectroMechanicalDevicesDomain, X)))). - -fof(axengineering155, axiom, - ( ! [X] : - (hasType(type_ReliefValve, X) => hasType(type_PressureControlValve, X)))). - -fof(axengineering156, axiom, - ( ! [X] : - (hasType(type_ResistorElement, X) => hasType(type_ElectricDevice, X)))). - -fof(axengineering157, axiom, - ( ! [X] : - (hasType(type_ResistorElement, X) => hasType(type_ElectricalComponent, X)))). - -fof(axengineering158, axiom, - ( ! [X] : - (hasType(type_Resonance, X) => hasType(type_NaturalProcess, X)))). - -fof(axengineering159, axiom, - ( ! [X] : - (hasType(type_RootLocus, X) => hasType(type_ControlDesignMethod, X)))). - -fof(axengineering160, axiom, - ( ! [X] : - (hasType(type_Rotor, X) => hasType(type_ElectricDevice, X)))). - -fof(axengineering161, axiom, - ( ! [X] : - (hasType(type_Rotor, X) => hasType(type_MechanicalDevice, X)))). - -fof(axengineering162, axiom, - ( ! [X] : - (hasType(type_ScienceDomain, X) => hasType(type_ApplicationDomain, X)))). - -fof(axengineering163, axiom, - ( ! [X] : - (hasType(type_ScientificLaw, X) => hasType(type_Proposition, X)))). - -fof(axengineering164, axiom, - ( ! [X] : - (hasType(type_SemiconductorComponent, X) => hasType(type_ElectricalComponent, X)))). - -fof(axengineering165, axiom, - ( ! [X] : - (hasType(type_SeparatelyExcitedDcMotor, X) => hasType(type_DcMotor, X)))). - -fof(axengineering166, axiom, - ( ! [X] : - (hasType(type_SeriesResonance, X) => hasType(type_ElectricalResonance, X)))). - -fof(axengineering167, axiom, - ( ! [X] : - (hasType(type_SetOfEquations, X) => hasType(type_Set, X)))). - -fof(axengineering168, axiom, - ( ! [X] : - (hasType(type_Shaft, X) => hasType(type_MechanicalDevice, X)))). - -fof(axengineering169, axiom, - ( ! [X] : - (hasType(type_SinglePhasePowerSource, X) => hasType(type_PowerSource, X)))). - -fof(axengineering170, axiom, - ( ! [X] : - (hasType(type_SinglePhaseRectifier, X) => hasType(type_Rectifier, X)))). - -fof(axengineering171, axiom, - ( ! [X] : - (hasType(type_Source, X) => hasType(type_PureTwopole, X)))). - -fof(axengineering172, axiom, - ( ! [X] : - (hasType(type_SpoolValve, X) => hasType(type_DirectionalControlValve, X)))). - -fof(axengineering173, axiom, - ( ! [X] : - (hasType(type_SpringElement, X) => hasType(type_ThroughVariableAccumulator, X)))). - -fof(axengineering174, axiom, - ( ! [X] : - (hasType(type_SpringElement, X) => hasType(type_TranslatoryTwopole, X)))). - -fof(axengineering175, axiom, - ( ! [X] : - (hasType(type_Spring, X) => hasType(type_MechanicalDevice, X)))). - -fof(axengineering176, axiom, - ( ! [X] : - (hasType(type_Stator, X) => hasType(type_ElectricDevice, X)))). - -fof(axengineering177, axiom, - ( ! [X] : - (hasType(type_Stator, X) => hasType(type_MechanicalDevice, X)))). - -fof(axengineering178, axiom, - ( ! [X] : - (hasType(type_SystemDesign, X) => hasType(type_EngineersSubprocess, X)))). - -fof(axengineering179, axiom, - ( ! [X] : - (hasType(type_SystemSpecification, X) => hasType(type_EngineersSubprocess, X)))). - -fof(axengineering180, axiom, - ( ! [X] : - (hasType(type_Technique, X) => hasType(type_Method, X)))). - -fof(axengineering181, axiom, - ( ! [X] : - (hasType(type_ThreePhasePowerSource, X) => hasType(type_PowerSource, X)))). - -fof(axengineering182, axiom, - ( ! [X] : - (hasType(type_ThreePhaseRectifier, X) => hasType(type_Rectifier, X)))). - -fof(axengineering183, axiom, - ( ! [X] : - (hasType(type_ThroughVariableAccumulator, X) => hasType(type_PureTwopole, X)))). - -fof(axengineering184, axiom, - ( ! [X] : - (hasType(type_ThroughVariableSource, X) => hasType(type_Source, X)))). - -fof(axengineering185, axiom, - ( ! [X] : - (hasType(type_Thyristor, X) => hasType(type_SemiconductorComponent, X)))). - -fof(axengineering186, axiom, - ( ! [X] : - (hasType(type_TransformerDevice, X) => hasType(type_ElectricDevice, X)))). - -fof(axengineering187, axiom, - ( ! [X] : - (hasType(type_Transformer, X) => hasType(type_Transducer, X)))). - -fof(axengineering188, axiom, - ( ! [X] : - (hasType(type_Transistor, X) => hasType(type_SemiconductorComponent, X)))). - -fof(axengineering189, axiom, - ( ! [X] : - (hasType(type_TranslatoryTwopole, X) => hasType(type_PureTwopole, X)))). - -fof(axengineering190, axiom, - ( ! [X] : - (hasType(type_Truck, X) => hasType(type_Car, X)))). - -fof(axengineering191, axiom, - ( ! [X] : - (hasType(type_Twopole, X) => hasType(type_Multipole, X)))). - -fof(axengineering192, axiom, - ( ! [X] : - (hasType(type_Twoport, X) => hasType(type_Fourpole, X)))). - -fof(axengineering193, axiom, - ( ! [X] : - (hasType(type_UnInstallation, X) => hasType(type_ITProcess, X)))). - -fof(axengineering194, axiom, - ( ! [X] : - (hasType(type_UnknownDomainDevice, X) => hasType(type_EngineeringComponent, X)))). - -fof(axengineering195, axiom, - ( ! [X] : - (hasType(type_Valve, X) => hasType(type_FluidPowerDevice, X)))). - -fof(axengineering196, axiom, - ( ! [X] : - (hasType(type_Valve, X) => hasType(type_MechanicalDevice, X)))). - -fof(axengineering197, axiom, - ( ! [X] : - (hasType(type_VanderpolsEquation, X) => hasType(type_NonlinearEquation, X)))). - -fof(axengineering198, axiom, - ( ! [X] : - (hasType(type_VanderpolsEquation, X) => hasType(type_OrdinaryDifferentialEquation, X)))). - -fof(axengineering199, axiom, - ( ! [X] : - (hasType(type_VolumeControlValve, X) => hasType(type_Valve, X)))). - -fof(axengineering200, axiom, - ( ! [X] : - (hasType(type_WebDocumentAttribute, X) => hasType(type_InternalAttribute, X)))). - -fof(axengineering201, axiom, - ( ! [X] : - (hasType(type_WebDocument, X) => hasType(type_ContentBearingObject, X)))). - -fof(axengineering202, axiom, - ( ! [X] : - (hasType(type_ZenerDiode, X) => hasType(type_Diode, X)))). - -fof(axengineering203, axiom, - (hasType(type_EquationAttribute, inst_AlgebraicAttribute))). - -fof(axengineering204, axiom, - (hasType(type_InternalAttribute, inst_AlgebroDifferentialAttribute))). - -fof(axengineering205, axiom, - (hasType(type_PhysicalDimension, inst_AngularVelocity))). - -fof(axengineering206, axiom, - (hasType(type_DocumentCategory, inst_ArticleCategory))). - -fof(axengineering207, axiom, - (hasType(type_PhysicalAttribute, inst_Compliance))). - -fof(axengineering208, axiom, - (hasType(type_PhysicalAttribute, inst_Conductivity))). - -fof(axengineering209, axiom, - (hasType(type_PhysicalDimension, inst_Current))). - -fof(axengineering210, axiom, - (hasType(type_EquationAttribute, inst_DifferentialAttribute))). - -fof(axengineering211, axiom, - (hasType(type_PhysicalDimension, inst_Dimensionless))). - -fof(axengineering212, axiom, - (hasType(type_MultipoleAttribute, inst_DynamicMultipole))). - -fof(axengineering213, axiom, - (hasType(type_PhysicalDomain, inst_Electrical))). - -fof(axengineering214, axiom, - (hasType(type_PhysicalDomain, inst_FluidPower))). - -fof(axengineering215, axiom, - (hasType(type_PhysicalDimension, inst_Force))). - -fof(axengineering216, axiom, - (hasType(type_MultipoleAttribute, inst_IndependentMultipole))). - -fof(axengineering217, axiom, - (hasType(type_PhysicalDimension, inst_Length))). - -fof(axengineering218, axiom, - (hasType(type_LexiconCategory, inst_LexAdjective))). - -fof(axengineering219, axiom, - (hasType(type_LexiconCategory, inst_LexAdverb))). - -fof(axengineering220, axiom, - (hasType(type_LexiconCategory, inst_LexNoun))). - -fof(axengineering221, axiom, - (hasType(type_LexiconCategory, inst_LexVerb))). - -fof(axengineering222, axiom, - (hasType(type_DocumentCategory, inst_LibraryModelCategory))). - -fof(axengineering223, axiom, - (hasType(type_MultipoleAttribute, inst_LinearMultipole))). - -fof(axengineering224, axiom, - (hasType(type_PhysicalDimension, inst_Power))). - -fof(axengineering225, axiom, - (hasType(type_PhysicalDimension, inst_Pressure))). - -fof(axengineering226, axiom, - (hasType(type_PhysicalAttribute, inst_Resistivity))). - -fof(axengineering227, axiom, - (hasType(type_PhysicalDomain, inst_Rotary))). - -fof(axengineering228, axiom, - (hasType(type_DocumentCategory, inst_SolvedExampleCategory))). - -fof(axengineering229, axiom, - (hasType(type_PhysicalAttribute, inst_Stiffness))). - -fof(axengineering230, axiom, - (hasType(type_PhysicalDimension, inst_Torque))). - -fof(axengineering231, axiom, - (hasType(type_PhysicalDomain, inst_Translatory))). - -fof(axengineering232, axiom, - (hasType(type_DocumentCategory, inst_TutorialCategory))). - -fof(axengineering233, axiom, - (hasType(type_PhysicalDimension, inst_Velocity))). - -fof(axengineering234, axiom, - (hasType(type_PhysicalDimension, inst_Voltage))). - -fof(axengineering235, axiom, - (hasType(type_PhysicalDimension, inst_VolumeFlow))). - -- cgit v1.2.3