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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntermittentCombustionEngine
IntermittentCombustionEngine(intermittent combustion engine)

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 Intermittent combustion engine is a subclass of internal combustion engine

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


(subclass ChevroletEngine IntermittentCombustionEngine) Cars.kif 5029-5029 Chevrolet engine is a subclass of intermittent combustion engine
(subclass CosworthEngine IntermittentCombustionEngine) Cars.kif 5224-5224 Cosworth engine is a subclass of intermittent combustion engine
(subclass EightCylinderEngine IntermittentCombustionEngine) Cars.kif 4624-4624 Eight cylinder engine is a subclass of intermittent combustion engine
(subclass FourCylinderEngine IntermittentCombustionEngine) Cars.kif 4608-4608 Four cylinder engine is a subclass of intermittent combustion engine
(subclass FourStrokeEngine IntermittentCombustionEngine) Cars.kif 96-96 Four stroke engine is a subclass of intermittent combustion engine
(subclass MiniCooperEngine IntermittentCombustionEngine) Cars.kif 4917-4917 Mini engine is a subclass of intermittent combustion engine
(subclass SixCylinderEngine IntermittentCombustionEngine) Cars.kif 4616-4616 Six cylinder engine is a subclass of intermittent combustion engine
(subclass TwoCylinderEngine IntermittentCombustionEngine) Cars.kif 4600-4600 Two cylinder engine is a subclass of intermittent combustion engine
(subclass TwoStrokeEngine IntermittentCombustionEngine) Cars.kif 240-240 Two stroke engine is a subclass of intermittent combustion engine
(termFormat EnglishLanguage IntermittentCombustionEngine "intermittent combustion engine") domainEnglishFormat.kif 65061-65061 Two stroke engine is a subclass of intermittent combustion engine
(typicalPart Crankshaft IntermittentCombustionEngine) Cars.kif 338-338 A crankshaft is typically a part of a intermittent combustion engine
(typicalPart Supercharger IntermittentCombustionEngine) Cars.kif 5245-5245 A supercharger is typically a part of a intermittent combustion engine
(typicallyContainsPart Crankshaft IntermittentCombustionEngine) Cars.kif 339-339 A intermittent combustion engine typically has a part crankshaft

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


(domain engineDisplacement 1 IntermittentCombustionEngine) Cars.kif 5036-5036 The number 1 argument of engine displacement is an instance of intermittent combustion engine

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 3.0 is open source software produced by Articulate Software and its partners