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

Formal Language: 



Term 1: Term 2:

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


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