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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntermittentCombustionEngine
IntermittentCombustionEngine

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


(documentation IntermittentCombustionEngine EnglishLanguage "An Engine, such as found in a modern Automobile, in which Combustion is not continuous, as in a Rocket, but rather a rapid series of small Explosions.") Cars.kif 92-94
(subclass IntermittentCombustionEngine InternalCombustionEngine) Cars.kif 91-91 IntermittentCombustionEngine is a subclass of internal combustion engine

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


(subclass ChevroletEngine IntermittentCombustionEngine) Cars.kif 4940-4940 ChevroletEngine is a subclass of IntermittentCombustionEngine
(subclass CosworthEngine IntermittentCombustionEngine) Cars.kif 5135-5135 Cosworth engine is a subclass of IntermittentCombustionEngine
(subclass EightCylinderEngine IntermittentCombustionEngine) Cars.kif 4535-4535 Eight cylinder engine is a subclass of IntermittentCombustionEngine
(subclass FourCylinderEngine IntermittentCombustionEngine) Cars.kif 4519-4519 Four cylinder engine is a subclass of IntermittentCombustionEngine
(subclass FourStrokeEngine IntermittentCombustionEngine) Cars.kif 96-96 Four stroke engine is a subclass of IntermittentCombustionEngine
(subclass MiniCooperEngine IntermittentCombustionEngine) Cars.kif 4828-4828 Mini engine is a subclass of IntermittentCombustionEngine
(subclass SixCylinderEngine IntermittentCombustionEngine) Cars.kif 4527-4527 Six cylinder engine is a subclass of IntermittentCombustionEngine
(subclass TwoCylinderEngine IntermittentCombustionEngine) Cars.kif 4511-4511 Two cylinder engine is a subclass of IntermittentCombustionEngine
(subclass TwoStrokeEngine IntermittentCombustionEngine) Cars.kif 240-240 Two stroke engine is a subclass of IntermittentCombustionEngine
(typicalPart Crankshaft IntermittentCombustionEngine) Cars.kif 338-338 A Crankshaft is typically a part of a IntermittentCombustionEngine
(typicalPart Supercharger IntermittentCombustionEngine) Cars.kif 5156-5156 A supercharger is typically a part of a IntermittentCombustionEngine
(typicallyContainsPart Crankshaft IntermittentCombustionEngine) Cars.kif 339-339 A IntermittentCombustionEngine typically has a part Crankshaft

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


(domain engineDisplacement 1 IntermittentCombustionEngine) Cars.kif 4947-4947 The number 1 argument of engineDisplacement is an instance of IntermittentCombustionEngine

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


(=>
    (and
        (instance ?C Crankshaft)
        (instance ?I IntermittentCombustionEngine)
        (part ?I ?C))
    (hasPurpose ?C
        (exists (?E ?R)
            (and
                (instance ?E Explosion)
                (instance ?R Rotating)
                (patient ?R ?C)
                (eventLocated ?R ?I)
                (causes ?E ?R)))))
Cars.kif 349-361
(=>
    (instance ?I IntermittentCombustionEngine)
    (hasPurpose ?I
        (exists (?E ?M)
            (and
                (instance ?E Explosion)
                (instance ?M Motion)
                (eventLocated ?E ?I)
                (eventLocated ?M ?I)
                (causes ?E ?M)))))
Cars.kif 280-289


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners