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

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 は武器の subclass では %n

appearance as argument number 2

(subclass ArrowProjectile Projectile)	Mid-level-ontology.kif 1662-1662	ArrowProjectile は Projectile の subclass では %n
(subclass Bullet Projectile)	Mid-level-ontology.kif 1175-1175	Bullet は Projectile の subclass では %n
(subclass BulletCartridge Projectile)	Mid-level-ontology.kif 1187-1187	BulletCartridge は Projectile の subclass では %n
(subclass Grenade Projectile)	MilitaryDevices.kif 190-190	Grenade は Projectile の subclass では %n
(subclass Missile Projectile)	Mid-level-ontology.kif 18013-18013	Missile は Projectile の subclass では %n
(subclass Rocket Projectile)	Mid-level-ontology.kif 22389-22389	Rocket は Projectile の subclass では %n
(termFormat ChineseLanguage Projectile "抛射物")	domainEnglishFormat.kif 47693-47693	Rocket は Projectile の subclass では %n
(termFormat ChineseTraditionalLanguage Projectile "拋射物")	domainEnglishFormat.kif 47692-47692	Rocket は Projectile の subclass では %n
(termFormat EnglishLanguage Projectile "projectile")	domainEnglishFormat.kif 47691-47691	Rocket は Projectile の subclass では %n

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	オブジェクトは Gun の instance では %n オブジェクトは GunBarrel の instance では %n オブジェクトはオブジェクトの part では %n 工程は射撃の instance では %n オブジェクトは工程の instrument では %n エンティティーは工程の patient では %n エンティティーは Projectile の instance では %n 工程UB 工程UB は工程% の subprocess では %n オブジェクトは工程UB が発生する path では %n
(=> (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	物理は Projectile の instance では %n caliber Gun and 長さ測定オブジェクトは Gun の instance では %n 物理の width は長さ測定1 では %n 長さ測定は長さ測定1 と equal では %n オブジェクトはエンティティー class を instrument として行う capable では %n
(=> (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	物理は Projectile の instance では %n caliber Gun and 長さ測定物理は Gun の instance では %n 物理の width は長さ測定1 では %n 長さ測定は長さ測定1 と equal では %n 物理はエンティティーエンティティーは射撃の instance では %n 物理はエンティティーの patient では %n 物理はエンティティーの instrument では %n の目的 %n{ない}
(=> (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	工程は射撃の instance では %n オブジェクトは工程の instrument では %n 物理は工程の patient では %n 物理の width は長さ測定では %n オブジェクトはオブジェクトCLASS の instance では %n 物理は Projectile の instance では %n caliber オブジェクトCLASS and 長さ測定長さ測定は長さ測定と equal では %n
(=> (instance ?PROJECTILE Projectile) (capability Shooting patient ?PROJECTILE))	Mid-level-ontology.kif 1110-1112	オブジェクトは Projectile の instance では %n オブジェクトは射撃を patient として行う capable では %n

consequent

(=> (and (instance ?L LoadingWeapon) (patient ?L ?P)) (instance ?P Projectile))	Mid-level-ontology.kif 1365-1369	工程は LoadingWeapon の instance では %n エンティティーは工程の patient では %n エンティティーは Projectile の instance では %n
(=> (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	工程は射撃の instance では %n エンティティーオブジェクトエンティティーは Projectile の instance では %n エンティティーは工程の patient では %n オブジェクトは ProjectileLauncher の instance では %n オブジェクトは工程の instrument では %n
(=> (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	工程は射撃の instance では %n エンティティーオブジェクトエンティティーは Projectile の instance では %n エンティティーは工程の patient では %n オブジェクトは Gun の instance では %n オブジェクトは工程の instrument では %n
(=> (target ?A ?O) (exists (?W ?P) (and (instance ?W Weapon) (instrument ?A ?W) (instance ?P Projectile) (patient ?A ?P) (destination ?A ?O))))	MilitaryProcesses.kif 2809-2817	target Attack and オブジェクトオブジェクトエンティティーオブジェクトは武器の instance では %n オブジェクトは Attack の instrument では %n エンティティーは Projectile の instance では %n エンティティーは Attack の patient では %n Attack はオブジェクトに ends %n{ない}

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