Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Firearm
Firearm(firearm)
firearm, piece, riot_gun, small-arm, smoothbore

appearance as argument number 1
-------------------------


(documentation Firearm EnglishLanguage "A Gun that is small enough to be carried and fired by a single Human.") Mid-level-ontology.kif 2009-2010
(externalImage Firearm "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 35/ Colt_Python.JPG/ 250px-Colt_Python.JPG") pictureList.kif 1115-1115
(partition Firearm Rifle Pistol) Mid-level-ontology.kif 2008-2008 Firearm is exhaustively partitioned into rifle and pistol
(subclass Firearm Gun) Mid-level-ontology.kif 2007-2007 Firearm is a subclass of gun

appearance as argument number 2
-------------------------


(subclass Pistol Firearm) Mid-level-ontology.kif 2016-2016 Pistol is a subclass of firearm
(subclass Rifle Firearm) Mid-level-ontology.kif 2012-2012 Rifle is a subclass of firearm
(termFormat ChineseLanguage Firearm "火器") domainEnglishFormat.kif 23839-23839
(termFormat ChineseTraditionalLanguage Firearm "火器") domainEnglishFormat.kif 23838-23838
(termFormat EnglishLanguage Firearm "firearm") domainEnglishFormat.kif 23837-23837

appearance as argument number 3
-------------------------


(partition Gun ArtilleryGun Firearm) Mid-level-ontology.kif 1546-1546 Gun is exhaustively partitioned into artillery gun and firearm

consequent
-------------------------


(=>
    (instance ?AB InfantryUnit)
    (exists (?AC)
        (and
            (or
                (instance ?AC AutomaticGun)
                (instance ?AC Firearm)
                (instance ?AC MortarGun)
                (instance ?AC ExplosiveMine))
            (possesses ?AB ?AC))))
Military.kif 676-685


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners