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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IntermittentCombustionEngine

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

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


(subclass ChevroletEngine IntermittentCombustionEngine) Cars.kif 4969-4969
(subclass CosworthEngine IntermittentCombustionEngine) Cars.kif 5164-5164
(subclass EightCylinderEngine IntermittentCombustionEngine) Cars.kif 4564-4564
(subclass FourCylinderEngine IntermittentCombustionEngine) Cars.kif 4548-4548
(subclass FourStrokeEngine IntermittentCombustionEngine) Cars.kif 96-96
(subclass MiniCooperEngine IntermittentCombustionEngine) Cars.kif 4857-4857
(subclass SixCylinderEngine IntermittentCombustionEngine) Cars.kif 4556-4556
(subclass TwoCylinderEngine IntermittentCombustionEngine) Cars.kif 4540-4540
(subclass TwoStrokeEngine IntermittentCombustionEngine) Cars.kif 240-240
(termFormat EnglishLanguage IntermittentCombustionEngine "intermittent combustion engine") domainEnglishFormat.kif 65036-65036
(typicalPart Crankshaft IntermittentCombustionEngine) Cars.kif 338-338
(typicalPart Supercharger IntermittentCombustionEngine) Cars.kif 5185-5185
(typicallyContainsPart Crankshaft IntermittentCombustionEngine) Cars.kif 339-339

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


(domain engineDisplacement 1 IntermittentCombustionEngine) Cars.kif 4976-4976

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