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 1542-1543
(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 1541-1541
(subclass Firearm Gun) Mid-level-ontology.kif 1540-1540

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


(subclass Pistol Firearm) Mid-level-ontology.kif 1549-1549
(subclass Rifle Firearm) Mid-level-ontology.kif 1545-1545
(termFormat ChineseLanguage Firearm "火器") domainEnglishFormat.kif 23907-23907
(termFormat ChineseTraditionalLanguage Firearm "火器") domainEnglishFormat.kif 23906-23906
(termFormat EnglishLanguage Firearm "firearm") domainEnglishFormat.kif 23905-23905

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


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

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 3.0 is open source software produced by Articulate Software and its partners