Firearm - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1851-1852
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1114-1114
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1850-1850	Firearm is exhaustively partitioned into long gun and hand gun
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1849-1849	Firearm is a subclass of gun

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1970-1970	Hand gun is a subclass of firearm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1890-1890	Long gun is a subclass of firearm
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23928-23928	Long gun is a subclass of firearm
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23927-23927	Long gun is a subclass of firearm
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23926-23926	Long gun is a subclass of firearm

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 1227-1227

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1854-1870	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1872-1888	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

No TPTP formula. May not be expressible in strict first order.

Military.kif 743-752