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

Formal Language: 



Term 1: Term 2:

(subclass MilitarySupplyTruck MilitarySupportVehicle) Military.kif 205-205 MilitarySupplyTruck ist eine teilkategorie von MilitarySupportVehicle
(subclass MilitarySupplyTruck Truck) Military.kif 206-206 MilitarySupplyTruck ist eine teilkategorie von Truck


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