From d6627b5a5af6a82dd5316ac5d527790697615339 Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 17 Feb 2010 12:21:41 +0000 Subject: added TPTP for SUMO --- examples/SUMO/TPTP/engineeringAx.p | 911 +++++++++++++++++++++++++++++++++++++ 1 file changed, 911 insertions(+) create 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 new file mode 100644 index 000000000..20b0f1c16 --- /dev/null +++ b/examples/SUMO/TPTP/engineeringAx.p @@ -0,0 +1,911 @@ +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