TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1553-1553
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 106-106
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1552-1552	Gun is exhaustively partitioned into artillery gun and firearm
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1551-1551	Gun is a subclass of projectile launcher
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1550-1550	Gun is a subclass of weapon

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2009-2009	Artillery gun is a subclass of gun
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1976-1976	Automatic gun is a subclass of gun
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2013-2013	Firearm is a subclass of gun
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27076-27076
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27075-27075
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27074-27074
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1750-1750	A gun trigger is typically a part of a gun
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1751-1751	A gun typically has a part gun trigger

appearance as argument number 3

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

MilitaryDevices.kif 211-211

The number 1 argument of caliber is a subclass of gun

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1625-1637	If an object is an instance of gun and another object is an instance of gun barrel and the other object is a part of the object and a process is an instance of shooting and the object is an instrument for the process and an entity is a patient of the process and the entity is an instance of projectile, then there exists the processUB such that the processUB is a subprocess of the process and the other object is path along which the processUB occurs
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1798-1813	If a device is an instance of gun and a length measure is an effective range of the device and the distance between the device and an object is the length measure1 and the object is an instance of organism and there doesn't exist the object2 such that the object2 is between the object and the device and the length measure1 is less than or equal to the length measure, then the device is capable of doing the class described by a symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1780-1794	If a device is an instance of gun and a length measure is an effective range of the device and the distance between the device and an object is the length measure1 and there doesn't exist the object2 such that the object2 is between the object and the device and the length measure1 is less than or equal to the length measure, then the device is capable of doing the class described by a symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1555-1557	If an object is an instance of gun, then the object is capable of doing shooting as a instrument

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1574-1582	If a physical is an instance of bullet, then the physical purpose there exist an entity and another entity such that the entity is an instance of shooting and the other entity is an instrument for the entity and the other entity is an instance of gun and the physical is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1618-1623	If an object is an instance of gun barrel, then there exists another object such that the other object is an instance of gun and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1559-1566	If a process is an instance of shooting, then there exist an entity and an object such that the entity is an instance of projectile and the entity is a patient of the process and the object is an instance of gun and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1819-1824	If an object is an instance of gun stock, then there exists another object such that the other object is an instance of gun and the object is a part of the other object

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: