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

Formal Language: 



Term 1: Term 2:

(subclass GatlingGun AutomaticGun) MilitaryDevices.kif 927-927 GatlingGun ist eine teilkategorie von AutomaticGun
(subclass GAU12U GatlingGun) MilitaryDevices.kif 300-300 GAU12U ist eine teilkategorie von GatlingGun
(subclass M197GatlingGun GatlingGun) MilitaryDevices.kif 901-901 M197GatlingGun ist eine teilkategorie von GatlingGun


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