TreeView Knowledge Base Browser - Projectile

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Projectile

Projectile

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 ist eine teilkategorie von Weapon

appearance as argument number 2

(subclass ArrowProjectile Projectile)	Mid-level-ontology.kif 1662-1662	ArrowProjectile ist eine teilkategorie von Projectile
(subclass Bullet Projectile)	Mid-level-ontology.kif 1175-1175	Bullet ist eine teilkategorie von Projectile
(subclass BulletCartridge Projectile)	Mid-level-ontology.kif 1187-1187	BulletCartridge ist eine teilkategorie von Projectile
(subclass Grenade Projectile)	MilitaryDevices.kif 190-190	Grenade ist eine teilkategorie von Projectile
(subclass Missile Projectile)	Mid-level-ontology.kif 17750-17750	Missile ist eine teilkategorie von Projectile
(subclass Rocket Projectile)	Mid-level-ontology.kif 22126-22126	Rocket ist eine teilkategorie von Projectile
(termFormat ChineseLanguage Projectile "抛射物")	domainEnglishFormat.kif 47662-47662
(termFormat ChineseTraditionalLanguage Projectile "拋射物")	domainEnglishFormat.kif 47661-47661
(termFormat EnglishLanguage Projectile "projectile")	domainEnglishFormat.kif 47660-47660

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 1228-1240	Wenn Object ist ein fall von Gun %n{nicht} und Object ist ein fall von GunBarrel %n{nicht} und Object ist ein teil von Object %n{nicht} und Process ist ein fall von Shooting %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein fall von Projectile %n{nicht}, dann es gibt ProcessUB um ProcessUB ist ein subProzess von Process und Object ist der pfad entlang dem ProcessUB geschieht
(=> (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	Wenn Physical ist ein fall von Projectile %n{nicht} und caliber Gun and LengthMeasure und Object ist ein fall von Gun %n{nicht} und die breite von Physical ist LengthMeasure1 %n{nicht} und LengthMeasure ist gleich LengthMeasure1 %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument die kategorie die SymbolicString beschreibt zu tun
(=> (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	Wenn Physical ist ein fall von Projectile %n{nicht} und caliber Gun and LengthMeasure und Physical ist ein fall von Gun %n{nicht} und die breite von Physical ist LengthMeasure1 %n{nicht} und LengthMeasure ist gleich LengthMeasure1 %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von Shooting %n{nicht} und Physical ist ein patient von entity %n{nicht} und Physical ist ein instrument fuer ** entity %n{nicht} %n{nicht}
(=> (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	Wenn Process ist ein fall von Shooting %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Physical ist ein patient von Process %n{nicht} und die breite von Physical ist LengthMeasure %n{nicht} und Object ist ein fall von ObjectCLASS %n{nicht} und Physical ist ein fall von Projectile %n{nicht} und caliber ObjectCLASS and LengthMeasure, dann LengthMeasure ist gleich ** LengthMeasure %n{nicht}
(=> (instance ?PROJECTILE Projectile) (capability Shooting patient ?PROJECTILE))	Mid-level-ontology.kif 1110-1112	Wenn Object ist ein fall von Projectile %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle patient Shooting zu tun

consequent

(=> (and (instance ?L LoadingWeapon) (patient ?L ?P)) (instance ?P Projectile))	Mid-level-ontology.kif 1365-1369	Wenn Process ist ein fall von LoadingWeapon %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann Entity ist ein fall von Projectile %n{nicht}
(=> (instance ?S Shooting) (exists (?P ?L) (and (instance ?P Projectile) (patient ?S ?P) (instance ?L ProjectileLauncher) (instrument ?S ?L))))	Mid-level-ontology.kif 1131-1138	Wenn Process ist ein fall von Shooting %n{nicht}, dann es gibt Entity und Object um Entity ist ein fall von Projectile %n{nicht} und Entity ist ein patient von Process %n{nicht} und Object ist ein fall von ProjectileLauncher %n{nicht} und Object ist ein instrument fuer Process %n{nicht}
(=> (instance ?SHOOT Shooting) (exists (?PROJECTILE ?GUN) (and (instance ?PROJECTILE Projectile) (patient ?SHOOT ?PROJECTILE) (instance ?GUN Gun) (instrument ?SHOOT ?GUN))))	Mid-level-ontology.kif 1162-1169	Wenn Process ist ein fall von Shooting %n{nicht}, dann es gibt Entity und Object um Entity ist ein fall von Projectile %n{nicht} und Entity ist ein patient von Process %n{nicht} und Object ist ein fall von Gun %n{nicht} und Object ist ein instrument fuer Process %n{nicht}

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