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 IntermittentCombustionEngineInternalCombustionEnginesubclass では

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


(subclass ChevroletEngine IntermittentCombustionEngine) Cars.kif 5030-5030 ChevroletEngineIntermittentCombustionEnginesubclass では
(subclass CosworthEngine IntermittentCombustionEngine) Cars.kif 5225-5225 CosworthEngineIntermittentCombustionEnginesubclass では
(subclass EightCylinderEngine IntermittentCombustionEngine) Cars.kif 4625-4625 EightCylinderEngineIntermittentCombustionEnginesubclass では
(subclass FourCylinderEngine IntermittentCombustionEngine) Cars.kif 4609-4609 FourCylinderEngineIntermittentCombustionEnginesubclass では
(subclass FourStrokeEngine IntermittentCombustionEngine) Cars.kif 96-96 FourStrokeEngineIntermittentCombustionEnginesubclass では
(subclass MiniCooperEngine IntermittentCombustionEngine) Cars.kif 4918-4918 MiniCooperEngineIntermittentCombustionEnginesubclass では
(subclass SixCylinderEngine IntermittentCombustionEngine) Cars.kif 4617-4617 SixCylinderEngineIntermittentCombustionEnginesubclass では
(subclass TwoCylinderEngine IntermittentCombustionEngine) Cars.kif 4601-4601 TwoCylinderEngineIntermittentCombustionEnginesubclass では
(subclass TwoStrokeEngine IntermittentCombustionEngine) Cars.kif 240-240 TwoStrokeEngineIntermittentCombustionEnginesubclass では
(termFormat EnglishLanguage IntermittentCombustionEngine "intermittent combustion engine") domainEnglishFormat.kif 65030-65030 TwoStrokeEngineIntermittentCombustionEnginesubclass では
(typicalPart Crankshaft IntermittentCombustionEngine) Cars.kif 338-338 typicalPart Crankshaft and IntermittentCombustionEngine
(typicalPart Supercharger IntermittentCombustionEngine) Cars.kif 5246-5246 typicalPart Supercharger and IntermittentCombustionEngine
(typicallyContainsPart Crankshaft IntermittentCombustionEngine) Cars.kif 339-339 typicallyContainsPart Crankshaft and IntermittentCombustionEngine

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


(domain engineDisplacement 1 IntermittentCombustionEngine) Cars.kif 5037-5037 engineDisplacement の数値 1 引数は IntermittentCombustionEngineinstance では

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