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

Formal Language: 



Term 1: Term 2:

(subclass JavelinWeapon AntiTankWeapon) MilitaryDevices.kif 719-719 JavelinWeapon ist eine teilkategorie von AntiTankWeapon
(subclass JavelinWeapon Missile) MilitaryDevices.kif 720-720 JavelinWeapon ist eine teilkategorie von Missile


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