ShotShell - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1115-1118
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1114-1114	Shot shell is a subclass of projectile

appearance as argument number 2

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

Mid-level-ontology.kif 1119-1119

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1171-1184	If a self connected object is an instance of shot shell and an object is an instance of shotgun slug and the self connected object contains the object, then there doesn't exist another object such that the other object is an instance of shotgun slug or the other object is an instance of firearm shot and the object is not equal to the other object and the self connected object contains the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1121-1130	If a physical is an instance of shot shell, then the physical has the purpose there exists an entity such that the physical contains the entity and the entity is a proper part of the physical and the entity is an instance of firearm shot or the entity is an instance of shotgun slug
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1132-1140	If a physical is an instance of shot shell, then the physical has the 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 shot gun and the physical is a patient of the entity

consequent

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

Mid-level-ontology.kif 1932-1940