gf-core/examples/SUMO/TPTP/engineeringAx.p

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))).