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

(documentation Projectile EnglishLanguage "A missile, bullet, etc. that is fired from a Weapon.")	Mid-level-ontology.kif 1107-1108
(externalImage Projectile "http://articulatesoftware.com/SUMOpictures/tools/ weapons/ projectile_01.png")	pictureList.kif 678-678
(subclass Projectile Weapon)	Mid-level-ontology.kif 1106-1106	Projectile is a subclass of weapon

appearance as argument number 2

(subclass ArrowProjectile Projectile)	Mid-level-ontology.kif 2131-2131	Arrow projectile is a subclass of projectile
(subclass Bullet Projectile)	Mid-level-ontology.kif 1247-1247	Bullet is a subclass of projectile
(subclass BulletCartridge Projectile)	Mid-level-ontology.kif 1259-1259	Bullet cartridge is a subclass of projectile
(subclass FirearmShot Projectile)	Mid-level-ontology.kif 1142-1142	Firearm shot is a subclass of projectile
(subclass Grenade Projectile)	MilitaryDevices.kif 190-190	Grenade is a subclass of projectile
(subclass Missile Projectile)	Mid-level-ontology.kif 19291-19291	Missile is a subclass of projectile
(subclass Rocket Projectile)	Mid-level-ontology.kif 23734-23734	Rocket is a subclass of projectile
(subclass ShotShell Projectile)	Mid-level-ontology.kif 1114-1114	Shot shell is a subclass of projectile
(subclass ShotgunSlug Projectile)	Mid-level-ontology.kif 1164-1164	Shotgun slug is a subclass of projectile
(termFormat ChineseLanguage Projectile "抛射物")	domainEnglishFormat.kif 47691-47691	Shotgun slug is a subclass of projectile
(termFormat ChineseTraditionalLanguage Projectile "拋射物")	domainEnglishFormat.kif 47690-47690	Shotgun slug is a subclass of projectile
(termFormat EnglishLanguage Projectile "projectile")	domainEnglishFormat.kif 47689-47689	Shotgun slug is a subclass of projectile

antecedent

(=> (and (instance ?G Gun) (instance ?B GunBarrel) (part ?B ?G) (instance ?S Shooting) (instrument ?S ?G) (patient ?S ?P) (instance ?P Projectile)) (exists (?SUB) (and (subProcess ?SUB ?S) (path ?SUB ?B))))	Mid-level-ontology.kif 1300-1312	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
(=> (and (instance ?PROJ Projectile) (caliber ?GUNCLASS ?LM) (instance ?GUN ?GUNCLASS) (width ?PROJ ?LM1) (equal ?LM ?LM1)) (capability (KappaFn ?SHOOTING (and (instance ?SHOOTING Shooting) (patient ?SHOOTING ?PROJ))) instrument ?GUN))	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
(=> (and (instance ?PROJ Projectile) (caliber ?GUNCLASS ?LM) (instance ?GUN ?GUNCLASS) (width ?PROJ ?LM1) (equal ?LM ?LM1)) (hasPurpose ?GUN (exists (?SHOOTING) (and (instance ?SHOOTING Shooting) (patient ?SHOOTING ?PROJ) (instrument ?SHOOTING ?GUN)))))	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
(=> (and (instance ?SHOT Shooting) (instrument ?SHOT ?GUN) (patient ?SHOT ?PROJ) (width ?PROJ ?LM1) (instance ?GUN ?GUNCLASS) (instance ?PROJ Projectile) (caliber ?GUNCLASS ?LM)) (equal ?LM ?LM1))	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
(=> (instance ?PROJECTILE Projectile) (capability Shooting patient ?PROJECTILE))	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

(=> (and (instance ?L LoadingWeapon) (patient ?L ?P)) (instance ?P Projectile))	Mid-level-ontology.kif 1588-1592	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
(=> (instance ?S Shooting) (exists (?P ?L) (and (instance ?P Projectile) (patient ?S ?P) (instance ?L ProjectileLauncher) (instrument ?S ?L))))	Mid-level-ontology.kif 1203-1210	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
(=> (instance ?SHOOT Shooting) (exists (?PROJECTILE ?GUN) (and (instance ?PROJECTILE Projectile) (patient ?SHOOT ?PROJECTILE) (instance ?GUN Gun) (instrument ?SHOOT ?GUN))))	Mid-level-ontology.kif 1234-1241	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
(=> (target ?A ?O) (exists (?W ?P) (and (instance ?W Weapon) (instrument ?A ?W) (instance ?P Projectile) (patient ?A ?P) (destination ?A ?O))))	MilitaryProcesses.kif 2792-2800	If an object is the target of an attack, then there exist another object and an entity such that the other object is an instance of weapon and the other object is an instrument for the attack and the entity is an instance of projectile and the entity is a patient of the attack and the attack ends up at 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