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 1628-1629
(externalImage Firearm "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 35/ Colt_Python.JPG/ 250px_Colt_Python.JPG")	pictureList.kif 1114-1114
(partition Firearm Rifle Pistol)	Mid-level-ontology.kif 1627-1627	Firearm is exhaustively partitioned into rifle and pistol
(subclass Firearm Gun)	Mid-level-ontology.kif 1626-1626	Firearm is a subclass of gun

appearance as argument number 2

(subclass Handgun Firearm)	Mid-level-ontology.kif 1671-1671	Hand gun is a subclass of firearm
(subclass Rifle Firearm)	Mid-level-ontology.kif 1667-1667	Rifle is a subclass of firearm
(termFormat ChineseLanguage Firearm "火器")	domainEnglishFormat.kif 23928-23928	Rifle is a subclass of firearm
(termFormat ChineseTraditionalLanguage Firearm "火器")	domainEnglishFormat.kif 23927-23927	Rifle is a subclass of firearm
(termFormat EnglishLanguage Firearm "firearm")	domainEnglishFormat.kif 23926-23926	Rifle is a subclass of firearm

appearance as argument number 3

(partition Gun ArtilleryGun Firearm)

Mid-level-ontology.kif 1155-1155

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 1631-1647	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 1649-1665	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 ExplosiveMine))
            (possesses ?AB ?AC))))

Military.kif 743-752

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 explosive 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: