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

Formal Language: 



Term 1: Term 2:

(subclass RoverV8Engine EightCylinderEngine) Cars.kif 4720-4720 RoverV8Engine รจ una sottoclasse di 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