Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Bullet
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Bullet Projectile) | Mid-level-ontology.kif 1283-1283 | Bullet is a subclass of projectile |
| (documentation Bullet EnglishLanguage "A Projectile that is designed to be fired by a Gun.") | Mid-level-ontology.kif 1284-1284 | Bullet is a subclass of projectile |
| (defaultMinimumLength Bullet (MeasureFn 0.25 Inch)) |
DimensioningAmenities.kif 979-979 | The minimum expected length of bullet is 0.25 inch(s) |
| (defaultMaximumLength Bullet (MeasureFn 2 Inch)) |
DimensioningAmenities.kif 980-980 | The maximum expected length of bullet is 2 inch(s) |
| (defaultMinimumMeasure Bullet (MeasureFn 10 Gram)) |
DimensioningAmenities.kif 981-981 | The minimum expected value of bullet is 10 gram(s) |
| (defaultMaximumMeasure Bullet (MeasureFn 100 Gram)) |
DimensioningAmenities.kif 982-982 | The maximum expected value of bullet is 100 gram(s) |
| (externalImage Bullet "http://articulatesoftware.com/SUMOpictures/tools/ weapons/ guns/ bullet.png") | pictureList.kif 301-301 | The maximum expected value of bullet is 100 gram(s) |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PROJECTILE Bullet) (exists (?SHELL) (and (instance ?SHELL ProjectileShell) (part ?SHELL ?PROJECTILE)))) |
Mid-level-ontology.kif 1187-1192 | If X is an instance of bullet, then there exists Y such that Y is an instance of projectile shell and Y is a part of X |
| (=> (instance ?B Bullet) (hasPurpose ?B (exists (?S ?GUN) (and (instance ?S Shooting) (instrument ?S ?GUN) (instance ?GUN Gun) (patient ?S ?B))))) |
Mid-level-ontology.kif 1285-1293 | If X is an instance of bullet, then X has the purpose there exist Y, Z such that Y is an instance of shooting, Z is an instrument for Y, Z is an instance of gun, and X is a patient of Y |
| consequent |
|
|
| (=> (instance ?CARTRIDGE BulletCartridge) (hasPurpose ?CARTRIDGE (exists (?BULLET ?CASE) (and (instance ?BULLET Bullet) (instance ?CASE CartridgeCase) (properPart ?BULLET ?CARTRIDGE) (properPart ?CASE ?CARTRIDGE))))) |
Mid-level-ontology.kif 1300-1308 | If X is an instance of bullet cartridge, then X has the purpose there exist Y, Z such that Y is an instance of bullet, Z is an instance of casing, Y is a proper part of X, and Z is a proper part of X |
| (=> (instance ?CASE CartridgeCase) (exists (?CARTRIDGE ?BULLET ?K) (and (instance ?CARTRIDGE BulletCartridge) (instance ?BULLET Bullet) (instance ?K Keeping) (properPart ?CASE ?CARTRIDGE) (properPart ?BULLET ?CARTRIDGE) (agent ?K ?CASE) (patient ?K ?BULLET)))) |
Mid-level-ontology.kif 1313-1323 | If X is an instance of casing, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of bullet cartridge (3) Z is an instance of bullet (4) W is an instance of keeping (5) X is a proper part of Y (6) Z is a proper part of Y (7) X is an agent of W (8) Z is a patient of W |
| (=> (and (instance ?S Shooting) (instance ?G Gun) (instrument ?S ?G)) (exists (?E ?GB ?B ?C ?M) (and (subProcess ?E ?S) (instance ?E Exiting) (eventLocated ?E ?GB) (instance ?GB GunBarrel) (part ?GB ?G) (objectTransferred ?E ?B) (instance ?B Bullet) (origin ?B ?C) (instance ?C BulletCartridge) (located ?C ?GB) (path ?E ?GB) (entrance ?M ?GB) (instance ?M GunMuzzle)))) |
Mid-level-ontology.kif 1397-1416 | If X is an instance of shooting, Y is an instance of gun, and Y is an instrument for X, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Z is a subprocess of X (3) Z is an instance of exiting (4) Z is located at W (5) W is an instance of gun barrel (6) W is a part of Y (7) the object transferred in Z is V (8) V is an instance of bullet (9) V originates at U (10) U is an instance of bullet cartridge (11) U is located at W (12) W is path along which Z occurs (13) T is the entrance for W (14) T is an instance of gun muzzle |
|
