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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - TwoCylinderEngine

appearance as argument number 1

(documentation TwoCylinderEngine EnglishLanguage "An IntermittentCombustionEngine that has two EngineCylinders.") Cars.kif 4541-4542
(subclass TwoCylinderEngine IntermittentCombustionEngine) Cars.kif 4540-4540 TwoCylinderEngineIntermittentCombustionEnginesubclass

appearance as argument number 2

(subclass HarleyDavidsonKnuckleheadEngine TwoCylinderEngine) Cars.kif 4578-4578 HarleyDavidsonKnuckleheadEngineTwoCylinderEnginesubclass
(subclass HarleyDavidsonPanheadEngine TwoCylinderEngine) Cars.kif 4682-4682 HarleyDavidsonPanheadEngineTwoCylinderEnginesubclass
(termFormat EnglishLanguage TwoCylinderEngine "two cylinder engine") Cars.kif 4543-4543


    (instance ?TCE TwoCylinderEngine)
    (engineCylinders ?TCE 2))
Cars.kif 4544-4546

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