Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Engine

 Sigma KEE - Engine
Engine

appearance as argument number 1
-------------------------


(documentation Engine EnglishLanguage "Engine is a subclass of Transducer. Engines are devices for converting some form of energy resource into mechanical power.") Mid-level-ontology.kif 1697-1699
(externalImage Engine "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Mazda_rotary_engine_early.jpg") pictureList.kif 86-86
(subclass Engine Transducer) Mid-level-ontology.kif 1696-1696 Engine est une sous-classe de Transducer

appearance as argument number 2
-------------------------


(subclass ElectricMotor Engine) Mid-level-ontology.kif 1751-1751 ElectricMotor est une sous-classe de Engine
(subclass InternalCombustionEngine Engine) Mid-level-ontology.kif 1732-1732 InternalCombustionEngine est une sous-classe de Engine
(subclass OutboardEngine Engine) Cars.kif 4336-4336 OutboardEngine est une sous-classe de Engine
(subclass SteamEngine Engine) Mid-level-ontology.kif 1720-1720 SteamEngine est une sous-classe de Engine
(subclass Turbine Engine) Mid-level-ontology.kif 1724-1724 Turbine est une sous-classe de Engine
(termFormat ChineseLanguage Engine "发动机") domainEnglishFormat.kif 22084-22084
(termFormat ChineseTraditionalLanguage Engine "發動機") domainEnglishFormat.kif 22083-22083
(termFormat EnglishLanguage Engine "engine") domainEnglishFormat.kif 22082-22082

appearance as argument number 3
-------------------------


(domain compressionRatio 1 Engine) Cars.kif 1920-1920 Le nombre 1 argument de compressionRatio est une instance de Engine
(domain engineCylinders 1 Engine) Cars.kif 4525-4525 Le nombre 1 argument de engineCylinders est une instance de Engine
(domain maxCylinderVolume 1 Engine) Cars.kif 1890-1890 Le nombre 1 argument de maxCylinderVolume est une instance de Engine
(domain minCylinderVolume 1 Engine) Cars.kif 1859-1859 Le nombre 1 argument de minCylinderVolume est une instance de Engine
(domain pistonStroke 1 Engine) Cars.kif 1936-1936 Le nombre 1 argument de pistonStroke est une instance de Engine

antecedent
-------------------------


(=>
    (and
        (instance ?C Cam)
        (instance ?CS Camshaft)
        (instance ?E Engine)
        (part ?C ?E)
        (part ?CS ?E))
    (hasPurpose ?CS
        (connectedEngineeringComponents ?C ?CS)))		 Cars.kif 1660-1668
(=>
    (and
        (instance ?C Clutch)
        (instance ?A Automobile)
        (instance ?E Engine)
        (instance ?G Gearbox)
        (instance ?GEAR Gear)
        (part ?GEAR ?G)
        (part ?G ?A)
        (part ?C ?A)
        (part ?E ?A)
        (instance ?M Motion)
        (patient ?M ?E)
        (attribute ?C DeviceOff))
    (exists (?M2)
        (and
            (instance ?M2 Motion)
            (patient ?M2 ?G)
            (causes ?M ?M2))))		 Cars.kif 1838-1856
(=>
    (and
        (instance ?C Clutch)
        (instance ?A Automobile)
        (instance ?E Engine)
        (instance ?G Gearbox)
        (instance ?GEAR Gear)
        (part ?GEAR ?G)
        (part ?G ?A)
        (part ?C ?A)
        (part ?E ?A)
        (instance ?M Motion)
        (patient ?M ?E)
        (attribute ?C DeviceOn))
    (not
        (exists (?M2)
            (and
                (instance ?M2 Motion)
                (patient ?M2 ?G)
                (causes ?M ?M2)))))		 Cars.kif 1817-1836
(=>
    (and
        (instance ?E Exhaust)
        (material Fuel ?E)
        (instance ?T Transfer)
        (instance ?ENG Engine)
        (origin ?T ?ENG)
        (instance ?CC CatalyticConverter)
        (destination ?T ?CC)
        (objectTransferred ?T ?E))
    (hasPurpose ?CC
        (exists (?C)
            (and
                (instance ?C Combustion)
                (instrument ?C ?CC)
                (patient ?C ?E)
                (eventLocated ?C ?CC)))))		 Cars.kif 1717-1733
(=>
    (and
        (instance ?ECS EngineCoolingSystem)
        (instance ?E Engine)
        (instance ?A Automobile)
        (part ?ECS ?A)
        (part ?E ?A))
    (hasPurpose ?ECS
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?ECS)
                (patient ?C ?E)))))		 Cars.kif 2142-2154
(=>
    (and
        (instance ?EG EngineGovernor)
        (instance ?E Engine)
        (connectedEngineeringComponents ?EG ?E)
        (governorSpeed ?E
            (MeasureFn ?S MilesPerHour)))
    (hasPurpose ?EG
        (not
            (exists (?R ?P ?M)
                (and
                    (instance ?P Device)
                    (part ?P ?E)
                    (instance ?R Rotating)
                    (holdsDuring
                        (WhenFn ?R)
                        (and
                            (measure ?P
                                (MeasureFn ?M MilesPerHour))
                            (greaterThan ?M ?S))))))))		 Cars.kif 2930-2948
(=>
    (instance ?E Engine)
    (exists (?C)
        (and
            (instance ?C Crankcase)
            (equal ?E
                (HoleHostFn ?C)))))		 Cars.kif 328-333

consequent
-------------------------


(=>
    (instance ?AI AirIntake)
    (hasPurpose ?AI
        (exists (?A ?E ?T)
            (and
                (instance ?A Air)
                (instance ?E Engine)
                (instance ?T Transfer)
                (origin ?T ?AI)
                (destination ?T ?E)
                (patient ?T ?A)))))		 Cars.kif 973-983
(=>
    (instance ?B Backfire)
    (exists (?E ?NC)
        (and
            (not
                (instance ?NC EngineCylinder))
            (instance ?E Engine)
            (part ?NC ?E)
            (eventLocated ?B ?NC))))		 Cars.kif 1354-1362
(=>
    (instance ?D Distributor)
    (hasPurpose ?D
        (exists (?SP ?S ?O ?R ?E)
            (and
                (instance ?E Engine)
                (instance ?SP SparkPlug)
                (instance ?S Spark)
                (part ?O ?D)
                (part ?D ?E)
                (part ?SP ?E)
                (instance ?R Rotating)
                (causes ?R ?S)))))		 Cars.kif 2274-2286
(=>
    (instance ?ECM EngineControlModule)
    (hasPurpose ?ECM
        (exists (?A ?E ?P1 ?P2)
            (and
                (instance ?A Automobile)
                (instance ?E Engine)
                (instance ?P1 Process)
                (instance ?P2 Process)
                (part ?E ?A)
                (part ?ECM ?A)
                (eventLocated ?P1 ?ECM)
                (eventLocated ?P2 ?E)
                (causes ?P1 ?P2)))))		 Cars.kif 2519-2532
(=>
    (instance ?FWD FourWheelDriveVehicle)
    (hasPurpose ?FWD
        (forall (?W)
            (and
                (part ?W ?FWD)
                (exists (?E ?C ?R1 ?R2)
                    (and
                        (instance ?E Engine)
                        (part ?E ?FWD)
                        (instance ?C Crankshaft)
                        (part ?C ?E)
                        (instance ?R1 Rotating)
                        (patient ?R1 ?C)
                        (instance ?R2 Rotating)
                        (patient ?R2 ?W)
                        (causes ?R1 ?R2)))))))		 Cars.kif 4588-4604
(=>
    (instance ?GP GasPedal)
    (hasPurpose ?GP
        (exists (?P ?T ?F ?E ?A)
            (and
                (instance ?P Pushing)
                (instance ?T Transfer)
                (instance ?F Fuel)
                (instance ?E Engine)
                (instance ?A Automobile)
                (part ?GP ?A)
                (part ?E ?A)
                (destination ?P ?GP)
                (destination ?T ?E)
                (patient ?T ?F)
                (causes ?P ?T)))))		 Cars.kif 2540-2555
(=>
    (instance ?GT GasTank)
    (hasPurpose ?GT
        (exists (?F ?T ?E)
            (and
                (instance ?F Fuel)
                (contains ?GT ?F)
                (instance ?E Engine)
                (instance ?T Transfer)
                (origin ?T ?GT)
                (destination ?T ?E)
                (patient ?T ?F)))))		 Cars.kif 1000-1011
(=>
    (instance ?IVE InteriorVehicleEquipment)
    (hasPurpose ?IVE
        (exists (?V ?E)
            (and
                (instance ?V Automobile)
                (instance ?E Engine)
                (part ?E ?V)
                (not
                    (part ?IVE ?E))
                (part ?IVE ?V)
                (orientation ?IVE ?V Inside)))))		 Cars.kif 4694-4705
(=>
    (instance ?TWD TwoWheelDriveVehicle)
    (hasPurpose ?TWD
        (exists (?W1 ?W2)
            (and
                (part ?W1 ?TWD)
                (part ?W2 ?TWD)
                (not
                    (equal ?W1 ?W2))
                (exists (?E ?C ?R1 ?R2 ?R3)
                    (and
                        (instance ?E Engine)
                        (part ?E ?TWD)
                        (instance ?C Crankshaft)
                        (part ?C ?E)
                        (instance ?R1 Rotating)
                        (patient ?R1 ?C)
                        (instance ?R2 Rotating)
                        (patient ?R2 ?W1)
                        (causes ?R1 ?R2)
                        (patient ?R3 ?W2)
                        (causes ?R1 ?R3)
                        (not
                            (exists (?W3 ?R4)
                                (and
                                    (not
                                        (equal ?W1 ?W3))
                                    (not
                                        (equal ?W2 ?W3))
                                    (part ?W3 ?TWD)
                                    (instance ?R4 Rotating)
                                    (patient ?R4 ?W3)
                                    (causes ?R1 ?R4))))))))))		 Cars.kif 4611-4643
(=>
    (instance ?UD UnpoweredDevice)
    (not
        (exists (?E)
            (and
                (instance ?E Engine)
                (part ?E ?UD)))))		 Cars.kif 4485-4491
(=>
    (instance ?X RemoteIgnitionControl)
    (hasPurpose ?X
        (exists (?VEHICLE ?ENGINE ?SIGNAL ?PROC)
            (and
                (instance ?VEHICLE PoweredVehicle)
                (instance ?SIGNAL ElectronicSignalling)
                (instrument ?SIGNAL ?X)
                (destination ?SIGNAL ?VEHICLE)
                (instance ?ENGINE Engine)
                (component ?ENGINE ?VEHICLE)
                (instance ?PROC
                    (OperatingFn Engine))
                (experiencer ?PROC ?ENGINE)
                (causes ?SIGNAL ?PROC)))))		 Cars.kif 3755-3769


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners