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

KB Term:  Term intersection
English Word: 

Sigma KEE - SixCylinderEngine
SixCylinderEngine(six cylinder engine)

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


(subclass SixCylinderEngine IntermittentCombustionEngine) Cars.kif 4448-4448 Six cylinder engine is a subclass of intermittent combustion engine
(documentation SixCylinderEngine EnglishLanguage "An IntermittentCombustionEngine that has six EngineCylinders.") Cars.kif 4449-4450 Six cylinder engine is a subclass of intermittent combustion engine

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


(termFormat EnglishLanguage SixCylinderEngine "six cylinder engine") Cars.kif 4451-4451

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


(=>
    (instance ?E SixCylinderEngine)
    (engineCylinders ?E 6))		 Cars.kif 4452-4454 If X is an instance of six cylinder engine, then engine X has 6 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