Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - TwoCylinderEngine
TwoCylinderEngine(two cylinder engine)

appearance as argument number 1
-------------------------


(subclass TwoCylinderEngine IntermittentCombustionEngine) Cars.kif 4432-4432 Two cylinder engine is a subclass of intermittent combustion engine
(documentation TwoCylinderEngine EnglishLanguage "An IntermittentCombustionEngine that has two EngineCylinders.") Cars.kif 4433-4434 Two cylinder engine is a subclass of intermittent combustion engine

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


(termFormat EnglishLanguage TwoCylinderEngine "two cylinder engine") Cars.kif 4435-4435
(subclass HarleyDavidsonKnuckleheadEngine TwoCylinderEngine) Cars.kif 4470-4470 Knucklehead is a subclass of two cylinder engine
(subclass HarleyDavidsonPanheadEngine TwoCylinderEngine) Cars.kif 4574-4574 Panhead is a subclass of two cylinder engine

antecedent
-------------------------


(=>
    (instance ?TCE TwoCylinderEngine)
    (engineCylinders ?TCE 2))		 Cars.kif 4436-4438 If X is an instance of two cylinder engine, then engine X has 2 cylinders


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners