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

Formal Language: 



Term 1: Term 2:

(subclass JetAirplane Airplane) Transportation.kif 2590-2590 JetAirplane ist eine teilkategorie von Airplane
(subclass Harrier2 JetAirplane) MilitaryDevices.kif 1733-1733 Harrier2 ist eine teilkategorie von JetAirplane


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