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

Formal Language: 



Term 1: Term 2:

(subclass CH46D Helicopter) MilitaryDevices.kif 1828-1828 CH46D ist eine teilkategorie von Helicopter
(subclass CH46D PassengerVehicle) MilitaryDevices.kif 1829-1829 CH46D ist eine teilkategorie von PassengerVehicle
(subclass CH46D MilitaryVehicle) MilitaryDevices.kif 1830-1830 CH46D ist eine teilkategorie von MilitaryVehicle


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