Firearm - Sigma Knowledge base Browser

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 1852-1853
(externalImage Firearm "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 35/ Colt_Python.JPG/ 250px_Colt_Python.JPG")	pictureList.kif 1114-1114
(partition Firearm Longgun Handgun)	Mid-level-ontology.kif 1851-1851	Firearm is exhaustively partitioned into long gun and hand gun
(subclass Firearm Gun)	Mid-level-ontology.kif 1850-1850	Firearm is a subclass of gun

appearance as argument number 2

(subclass Handgun Firearm)	Mid-level-ontology.kif 1971-1971	Hand gun is a subclass of firearm
(subclass Longgun Firearm)	Mid-level-ontology.kif 1891-1891	Long gun is a subclass of firearm
(termFormat ChineseLanguage Firearm "火器")	domainEnglishFormat.kif 23917-23917	Long gun is a subclass of firearm
(termFormat ChineseTraditionalLanguage Firearm "火器")	domainEnglishFormat.kif 23916-23916	Long gun is a subclass of firearm
(termFormat EnglishLanguage Firearm "firearm")	domainEnglishFormat.kif 23915-23915	Long gun is a subclass of firearm

appearance as argument number 3

(partition Gun ArtilleryGun Firearm)

Mid-level-ontology.kif 1228-1228

Gun is exhaustively partitioned into artillery gun and firearm

antecedent

(=> (instance ?GUN Firearm) (hasPurpose ?GUN (exists (?A ?CARRY ?C) (and (instance ?A Human) (subclass ?CARRY Carrying) (instance ?C ?CARRY) (objectTransferred ?C ?GUN) (capability ?CARRY instrument ?A) (not (exists (?A2) (and (instance ?A2 Human) (not (equal ?A ?A2)) (instrument ?C ?A2))))))))	Mid-level-ontology.kif 1855-1871	If a physical is an instance of firearm, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of human and the other entity is a subclass of carrying and the third entity is an instance of the other entity and the object transferred in the third entity is the physical and the entity is capable of doing the other entity as a instrument and there doesn't exist the entity2 such that the entity2 is an instance of human and the entity is not equal to the entity2 and the entity2 is an instrument for the third entity
(=> (instance ?GUN Firearm) (hasPurpose ?GUN (exists (?A ?SHOOT ?S) (and (instance ?A Human) (subclass ?SHOOT Shooting) (instance ?S ?SHOOT) (objectTransferred ?S ?GUN) (capability ?SHOOT agent ?A) (not (exists (?A2) (and (instance ?A2 Human) (not (equal ?A ?A2)) (agent ?S ?A2))))))))	Mid-level-ontology.kif 1873-1889	If a physical is an instance of firearm, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of human and the other entity is a subclass of shooting and the third entity is an instance of the other entity and the object transferred in the third entity is the physical and the entity is capable of doing the other entity as a agent and there doesn't exist the entity2 such that the entity2 is an instance of human and the entity is not equal to the entity2 and the entity2 is an agent of the third entity

consequent

(=>
    (instance ?AB InfantryUnit)
    (exists (?AC)
        (and
            (or
                (instance ?AC AutomaticGun)
                (instance ?AC Firearm)
                (instance ?AC MortarGun)
                (instance ?AC LandMine))
            (possesses ?AB ?AC))))

Military.kif 753-762

If an agent is an instance of infantry unit,
then there exists an object such that the object is an instance of automatic gun or the object is an instance of firearm or the object is an instance of mortar gun or the object is an instance of land mine and the agent possesses the object

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

KB Term:			Term intersection

English Word: