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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Firearm
Firearm

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 2014-2015
(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 2013-2013
(subclass Firearm Gun) Mid-level-ontology.kif 2012-2012

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


(subclass Pistol Firearm) Mid-level-ontology.kif 2021-2021
(subclass Rifle Firearm) Mid-level-ontology.kif 2017-2017
(termFormat ChineseLanguage Firearm "火器") domainEnglishFormat.kif 23845-23845
(termFormat ChineseTraditionalLanguage Firearm "火器") domainEnglishFormat.kif 23844-23844
(termFormat EnglishLanguage Firearm "firearm") domainEnglishFormat.kif 23843-23843

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


(partition Gun ArtilleryGun Firearm) Mid-level-ontology.kif 1551-1551

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


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


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