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

Formal Language: 



Term 1: Term 2:

(subclass AirLaunchMissile Missile) MilitaryDevices.kif 939-939 AirLaunchMissile ist eine teilkategorie von Missile
(subclass AGM AirLaunchMissile) MilitaryDevices.kif 1123-1123 AGM ist eine teilkategorie von AirLaunchMissile
(subclass AAM AirLaunchMissile) MilitaryDevices.kif 1169-1169 AAM ist eine teilkategorie von AirLaunchMissile


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