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

Formal Language: 



Term 1: Term 2:

(subclass ChainGun HeavyMachineGun) MilitaryDevices.kif 326-326 ChainGun ist eine teilkategorie von HeavyMachineGun
(subclass M242 ChainGun) MilitaryDevices.kif 265-265 M242 ist eine teilkategorie von ChainGun


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