Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass IntermittentCombustionEngine InternalCombustionEngine) Cars.kif 91-91
(subclass FourStrokeEngine IntermittentCombustionEngine) Cars.kif 96-96
(subclass TwoStrokeEngine IntermittentCombustionEngine) Cars.kif 240-240
(subclass TwoCylinderEngine IntermittentCombustionEngine) Cars.kif 4540-4540
(subclass FourCylinderEngine IntermittentCombustionEngine) Cars.kif 4548-4548
(subclass SixCylinderEngine IntermittentCombustionEngine) Cars.kif 4556-4556
(subclass EightCylinderEngine IntermittentCombustionEngine) Cars.kif 4564-4564
(subclass MiniCooperEngine IntermittentCombustionEngine) Cars.kif 4857-4857
(subclass ChevroletEngine IntermittentCombustionEngine) Cars.kif 4969-4969
(subclass CosworthEngine IntermittentCombustionEngine) Cars.kif 5164-5164


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