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

Formal Language: 



Term 1: Term 2:

(subclass GrenadeLauncher HeavyMachineGun) MilitaryDevices.kif 591-591 GrenadeLauncher ist eine teilkategorie von HeavyMachineGun
(subclass MK19 GrenadeLauncher) MilitaryDevices.kif 607-607 MK19 ist eine teilkategorie von GrenadeLauncher


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