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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1725-1727
(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 1724-1724

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


(subclass ElectricMotor Engine) Mid-level-ontology.kif 1779-1779
(subclass InternalCombustionEngine Engine) Mid-level-ontology.kif 1760-1760
(subclass OutboardEngine Engine) Cars.kif 4336-4336
(subclass SteamEngine Engine) Mid-level-ontology.kif 1748-1748
(subclass Turbine Engine) Mid-level-ontology.kif 1752-1752
(termFormat ChineseLanguage Engine "发动机") domainEnglishFormat.kif 22078-22078
(termFormat ChineseTraditionalLanguage Engine "發動機") domainEnglishFormat.kif 22077-22077
(termFormat EnglishLanguage Engine "engine") domainEnglishFormat.kif 22076-22076

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


(domain compressionRatio 1 Engine) Cars.kif 1920-1920
(domain engineCylinders 1 Engine) Cars.kif 4525-4525
(domain maxCylinderVolume 1 Engine) Cars.kif 1890-1890
(domain minCylinderVolume 1 Engine) Cars.kif 1859-1859
(domain pistonStroke 1 Engine) Cars.kif 1936-1936

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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