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

Formal Language: 



Term 1: Term 2:

(subclass AAV MilitaryVehicle) MilitaryDevices.kif 1646-1646 AAV ist eine teilkategorie von MilitaryVehicle
(subclass AAV AmphibiousVehicle) MilitaryDevices.kif 1647-1647 AAV ist eine teilkategorie von AmphibiousVehicle
(subclass AAV PassengerVehicle) MilitaryDevices.kif 1648-1648 AAV ist eine teilkategorie von PassengerVehicle
(subclass AAV PoweredVehicle) MilitaryDevices.kif 1649-1649 AAV ist eine teilkategorie von PoweredVehicle


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