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 は InternalCombustionEngine の subclass では %n

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


(subclass ChevroletEngine IntermittentCombustionEngine) Cars.kif 4977-4977 ChevroletEngine は IntermittentCombustionEngine の subclass では %n
(subclass CosworthEngine IntermittentCombustionEngine) Cars.kif 5172-5172 CosworthEngine は IntermittentCombustionEngine の subclass では %n
(subclass EightCylinderEngine IntermittentCombustionEngine) Cars.kif 4572-4572 EightCylinderEngine は IntermittentCombustionEngine の subclass では %n
(subclass FourCylinderEngine IntermittentCombustionEngine) Cars.kif 4556-4556 FourCylinderEngine は IntermittentCombustionEngine の subclass では %n
(subclass FourStrokeEngine IntermittentCombustionEngine) Cars.kif 96-96 FourStrokeEngine は IntermittentCombustionEngine の subclass では %n
(subclass MiniCooperEngine IntermittentCombustionEngine) Cars.kif 4865-4865 MiniCooperEngine は IntermittentCombustionEngine の subclass では %n
(subclass SixCylinderEngine IntermittentCombustionEngine) Cars.kif 4564-4564 SixCylinderEngine は IntermittentCombustionEngine の subclass では %n
(subclass TwoCylinderEngine IntermittentCombustionEngine) Cars.kif 4548-4548 TwoCylinderEngine は IntermittentCombustionEngine の subclass では %n
(subclass TwoStrokeEngine IntermittentCombustionEngine) Cars.kif 240-240 TwoStrokeEngine は IntermittentCombustionEngine の subclass では %n
(termFormat EnglishLanguage IntermittentCombustionEngine "intermittent combustion engine") domainEnglishFormat.kif 65036-65036
(typicalPart Crankshaft IntermittentCombustionEngine) Cars.kif 338-338 typicalPart Crankshaft and IntermittentCombustionEngine
(typicalPart Supercharger IntermittentCombustionEngine) Cars.kif 5193-5193 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 4984-4984 engineDisplacement の数値 1 引数は IntermittentCombustionEngine の instance では %n

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