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

Formal Language: 



Term 1: Term 2:

(subclass AMEV MilitaryVehicle) MilitaryDevices.kif 2128-2128 AMEV ist eine teilkategorie von MilitaryVehicle
(subclass AMEV LandVehicle) MilitaryDevices.kif 2129-2129 AMEV ist eine teilkategorie von LandVehicle
(subclass AMEV Ambulance) MilitaryDevices.kif 2130-2130 AMEV ist eine teilkategorie von Ambulance


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