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

Formal Language: 



Term 1: Term 2:

(subclass RoverV8Engine EightCylinderEngine) Cars.kif 4712-4712 RoverV8Engine ist eine teilkategorie von EightCylinderEngine


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