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

Formal Language: 



Term 1: Term 2:

(subclass IntermittentCombustionEngine InternalCombustionEngine) Cars.kif 91-91 IntermittentCombustionEngine内燃机subclass
(subclass FourStrokeEngine IntermittentCombustionEngine) Cars.kif 96-96 FourStrokeEngineIntermittentCombustionEnginesubclass
(subclass TwoStrokeEngine IntermittentCombustionEngine) Cars.kif 240-240 TwoStrokeEngineIntermittentCombustionEnginesubclass
(subclass TwoCylinderEngine IntermittentCombustionEngine) Cars.kif 4540-4540 TwoCylinderEngineIntermittentCombustionEnginesubclass
(subclass FourCylinderEngine IntermittentCombustionEngine) Cars.kif 4548-4548 FourCylinderEngineIntermittentCombustionEnginesubclass
(subclass SixCylinderEngine IntermittentCombustionEngine) Cars.kif 4556-4556 SixCylinderEngineIntermittentCombustionEnginesubclass
(subclass EightCylinderEngine IntermittentCombustionEngine) Cars.kif 4564-4564 EightCylinderEngineIntermittentCombustionEnginesubclass
(subclass MiniCooperEngine IntermittentCombustionEngine) Cars.kif 4857-4857 MiniCooperEngineIntermittentCombustionEnginesubclass
(subclass ChevroletEngine IntermittentCombustionEngine) Cars.kif 4969-4969 ChevroletEngineIntermittentCombustionEnginesubclass
(subclass CosworthEngine IntermittentCombustionEngine) Cars.kif 5164-5164 CosworthEngineIntermittentCombustionEnginesubclass


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