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

Formal Language: 



Term 1: Term 2:

(subclass AIM9 AAM) MilitaryDevices.kif 1177-1177 AIM9 ist eine teilkategorie von AAM
(subclass AIM9 InfraRedGMissile) MilitaryDevices.kif 1178-1178 AIM9 ist eine teilkategorie von InfraRedGMissile


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