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 IntermittentCombustionEngine 是 内燃机 的 subclass

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


(subclass ChevroletEngine IntermittentCombustionEngine) Cars.kif 4954-4954 ChevroletEngine 是 IntermittentCombustionEngine 的 subclass
(subclass CosworthEngine IntermittentCombustionEngine) Cars.kif 5149-5149 CosworthEngine 是 IntermittentCombustionEngine 的 subclass
(subclass EightCylinderEngine IntermittentCombustionEngine) Cars.kif 4549-4549 EightCylinderEngine 是 IntermittentCombustionEngine 的 subclass
(subclass FourCylinderEngine IntermittentCombustionEngine) Cars.kif 4533-4533 FourCylinderEngine 是 IntermittentCombustionEngine 的 subclass
(subclass FourStrokeEngine IntermittentCombustionEngine) Cars.kif 96-96 FourStrokeEngine 是 IntermittentCombustionEngine 的 subclass
(subclass MiniCooperEngine IntermittentCombustionEngine) Cars.kif 4842-4842 MiniCooperEngine 是 IntermittentCombustionEngine 的 subclass
(subclass SixCylinderEngine IntermittentCombustionEngine) Cars.kif 4541-4541 SixCylinderEngine 是 IntermittentCombustionEngine 的 subclass
(subclass TwoCylinderEngine IntermittentCombustionEngine) Cars.kif 4525-4525 TwoCylinderEngine 是 IntermittentCombustionEngine 的 subclass
(subclass TwoStrokeEngine IntermittentCombustionEngine) Cars.kif 240-240 TwoStrokeEngine 是 IntermittentCombustionEngine 的 subclass
(termFormat EnglishLanguage IntermittentCombustionEngine "intermittent combustion engine") domainEnglishFormat.kif 65038-65038
(typicalPart Crankshaft IntermittentCombustionEngine) Cars.kif 338-338 Crankshaft typically 是 IntermittentCombustionEngine 的 part
(typicalPart Supercharger IntermittentCombustionEngine) Cars.kif 5170-5170 Supercharger typically 是 IntermittentCombustionEngine 的 part
(typicallyContainsPart Crankshaft IntermittentCombustionEngine) Cars.kif 339-339 IntermittentCombustionEngine typically 有 part Crankshaft

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


(domain engineDisplacement 1 IntermittentCombustionEngine) Cars.kif 4961-4961 engineDisplacement 的 1 数量 是 IntermittentCombustionEngine 的 instance

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