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

Formal Language: 



Term 1: Term 2:

(subclass IntermittentCombustionEngine InternalCombustionEngine) Cars.kif 91-91 IntermittentCombustionEngine e' uma sub-classe de InternalCombustionEngine
(subclass FourStrokeEngine IntermittentCombustionEngine) Cars.kif 96-96 FourStrokeEngine e' uma sub-classe de IntermittentCombustionEngine
(subclass TwoStrokeEngine IntermittentCombustionEngine) Cars.kif 240-240 TwoStrokeEngine e' uma sub-classe de IntermittentCombustionEngine
(subclass TwoCylinderEngine IntermittentCombustionEngine) Cars.kif 4540-4540 TwoCylinderEngine e' uma sub-classe de IntermittentCombustionEngine
(subclass FourCylinderEngine IntermittentCombustionEngine) Cars.kif 4548-4548 FourCylinderEngine e' uma sub-classe de IntermittentCombustionEngine
(subclass SixCylinderEngine IntermittentCombustionEngine) Cars.kif 4556-4556 SixCylinderEngine e' uma sub-classe de IntermittentCombustionEngine
(subclass EightCylinderEngine IntermittentCombustionEngine) Cars.kif 4564-4564 EightCylinderEngine e' uma sub-classe de IntermittentCombustionEngine
(subclass MiniCooperEngine IntermittentCombustionEngine) Cars.kif 4857-4857 MiniCooperEngine e' uma sub-classe de IntermittentCombustionEngine
(subclass ChevroletEngine IntermittentCombustionEngine) Cars.kif 4969-4969 ChevroletEngine e' uma sub-classe de IntermittentCombustionEngine
(subclass CosworthEngine IntermittentCombustionEngine) Cars.kif 5164-5164 CosworthEngine e' uma sub-classe de 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