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 IntermittentCombustionEngine ist eine teilkategorie von InternalCombustionEngine

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


(subclass ChevroletEngine IntermittentCombustionEngine) Cars.kif 4969-4969 ChevroletEngine ist eine teilkategorie von IntermittentCombustionEngine
(subclass CosworthEngine IntermittentCombustionEngine) Cars.kif 5164-5164 CosworthEngine ist eine teilkategorie von IntermittentCombustionEngine
(subclass EightCylinderEngine IntermittentCombustionEngine) Cars.kif 4564-4564 EightCylinderEngine ist eine teilkategorie von IntermittentCombustionEngine
(subclass FourCylinderEngine IntermittentCombustionEngine) Cars.kif 4548-4548 FourCylinderEngine ist eine teilkategorie von IntermittentCombustionEngine
(subclass FourStrokeEngine IntermittentCombustionEngine) Cars.kif 96-96 FourStrokeEngine ist eine teilkategorie von IntermittentCombustionEngine
(subclass MiniCooperEngine IntermittentCombustionEngine) Cars.kif 4857-4857 MiniCooperEngine ist eine teilkategorie von IntermittentCombustionEngine
(subclass SixCylinderEngine IntermittentCombustionEngine) Cars.kif 4556-4556 SixCylinderEngine ist eine teilkategorie von IntermittentCombustionEngine
(subclass TwoCylinderEngine IntermittentCombustionEngine) Cars.kif 4540-4540 TwoCylinderEngine ist eine teilkategorie von IntermittentCombustionEngine
(subclass TwoStrokeEngine IntermittentCombustionEngine) Cars.kif 240-240 TwoStrokeEngine ist eine teilkategorie von IntermittentCombustionEngine
(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 5185-5185 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 4976-4976 Die Zahl 1 Argument von engineDisplacement ist ein fall von IntermittentCombustionEngine %n{nicht}

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