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

Formal Language: 



Term 1: Term 2:

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


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