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

Formal Language: 



Term 1: Term 2:

(subclass CargoVehicle Vehicle) Transportation.kif 1760-1760 CargoVehicle ist eine teilkategorie von Vehicle
(subclass Truck CargoVehicle) Transportation.kif 2010-2010 Truck ist eine teilkategorie von CargoVehicle


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