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

Formal Language: 



Term 1: Term 2:

(subclass CH53E Helicopter) MilitaryDevices.kif 1767-1767 CH53E ist eine teilkategorie von Helicopter
(subclass CH53E PassengerVehicle) MilitaryDevices.kif 1768-1768 CH53E ist eine teilkategorie von PassengerVehicle
(subclass CH53E MilitaryVehicle) MilitaryDevices.kif 1769-1769 CH53E 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