Projectile - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Projectile

Projectile(projectile)

missile, pellet, projectile, seeker, shot, spitball

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1107-1108
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 678-678
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1106-1106	Projectile 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 1662-1662	Arrow projectile is a subclass of projectile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1175-1175	Bullet is a subclass of projectile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1187-1187	Bullet cartridge is a subclass of projectile
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 190-190	Grenade is a subclass of projectile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17750-17750	Missile is a subclass of projectile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22126-22126	Rocket is a subclass of projectile
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47662-47662
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47661-47661
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47660-47660

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1228-1240	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.	MilitaryDevices.kif 233-245	If a physical is an instance of projectile and a length measure is a caliber of a kind of gun and an object is an instance of a kind of gun and the width of the physical is the length measure1 and the length measure is equal to the length measure1, then the object 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.	MilitaryDevices.kif 250-262	If a physical is an instance of projectile and a length measure is a caliber of a kind of gun and another physical is an instance of a kind of gun and the width of the physical is the length measure1 and the length measure is equal to the length measure1, then the other physical has the purpose there exists an entity such that the entity is an instance of shooting and the physical is a patient of the entity and the other physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 219-228	If a process is an instance of shooting and an object is an instrument for the process and a physical is a patient of the process and the width of the physical is a length measure and the object is an instance of the objectCLASS and the physical is an instance of projectile and another length measure is a caliber of the objectCLASS, then the other length measure is equal to the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1110-1112	If an object is an instance of projectile, then the object is capable of doing shooting as a patient

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1365-1369	If a process is an instance of loading weapon and an entity is a patient of the process, then the entity is an instance of projectile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1131-1138	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 projectile launcher and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1162-1169	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

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