Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   WearableItem
|
|
|
| appearance as argument number 1 |
|
|
| (subclass GunBarrel EngineeringComponent) | Mid-level-ontology.kif 1325-1325 | Gun barrel is a subclass of engineering component |
| (documentation GunBarrel EnglishLanguage "The part of a Gun through which a Projectile travels when it is fired.") | Mid-level-ontology.kif 1326-1327 | Gun barrel is a subclass of engineering component |
| (externalImage GunBarrel "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 4f/ Volquartsen_Ruger_17HM2_barrel.jpg/ 250px_Volquartsen_Ruger_17HM2_barrel.jpg") | pictureList.kif 1128-1128 | Gun barrel is a subclass of engineering component |
| appearance as argument number 2 |
|
|
| (typicalPart GunChamber GunBarrel) | Mid-level-ontology.kif 1361-1361 | A gun chamber is typically a part of a gun barrel |
| (partTypes GunMuzzle GunBarrel) | Mid-level-ontology.kif 1395-1395 | Every gun muzzle is a part of a gun barrel |
| (partTypes GunBore GunBarrel) | Mid-level-ontology.kif 1424-1424 | Every gun bore is a part of a gun barrel |
| (relatedInternalConcept Gunstock GunBarrel) | Mid-level-ontology.kif 1446-1446 | Gun stock is internally related to gun barrel |
| (relatedInternalConcept Forestock GunBarrel) | Mid-level-ontology.kif 1498-1498 | Fore stock is internally related to gun barrel |
| (termFormat EnglishLanguage GunBarrel "gun barrel") | domainEnglishFormat.kif 27086-27086 | Fore stock is internally related to gun barrel |
| (termFormat ChineseTraditionalLanguage GunBarrel "槍管") | domainEnglishFormat.kif 27087-27087 | Fore stock is internally related to gun barrel |
| (termFormat ChineseLanguage GunBarrel "枪管") | domainEnglishFormat.kif 27088-27088 | Fore stock is internally related to gun barrel |
| antecedent |
|
|
| (=> (instance ?B GunBarrel) (exists (?G) (and (instance ?G Gun) (part ?B ?G)))) |
Mid-level-ontology.kif 1329-1334 | If X is an instance of gun barrel, then there exists Y such that Y is an instance of gun and X is a part of Y |
| (=> (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 1336-1348 | If All of the following hold: (1) X is an instance of gun (2) Y is an instance of gun barrel (3) Y is a part of X (4) Z is an instance of shooting (5) X is an instrument for Z (6) W is a patient of Z (7) W is an instance of projectile, then there exists V such that V is a subprocess of Z and Y is path along which V occurs |
| (=> (and (instance ?H Handgun) (instance ?B1 GunBarrel) (part ?B1 ?H) (length ?B1 (MeasureFn ?S Inch)) (instance ?L Longgun) (instance ?B2 GunBarrel) (part ?B2 ?L) (length ?B2 (MeasureFn ?T Inch))) (lessThan ?S ?T)) |
Mid-level-ontology.kif 2071-2081 | If All of the following hold: (1) X is an instance of hand gun (2) Y is an instance of gun barrel (3) Y is a part of X (4) the length of Y is Z inch(s) (5) W is an instance of long gun (6) V is an instance of gun barrel (7) V is a part of W (8) the length of V is U inch(s), then Z is less than U |
| (=> (and (angleOfFire ?S ?A) (instrument ?S ?G) (instance ?G Gun) (part ?B ?G) (instance ?B GunBarrel) (instance ?L FiniteLineInSpace) (endPointsOfLineInSpace ?P1 ?P2 ?L) (objectEnds ?P1 ?P2 ?B) (eventLocated ?S ?R) (instance ?R GeographicArea) (part ?P ?R)) (planeAngleMeasure ?L (LevelPlaneFn ?P PlanetEarth) ?A)) |
MilitaryDevices.kif 258-272 | If All of the following hold: (1) the angleOfFire of X Y is Y (2) Z is an instrument for X (3) Z is an instance of gun (4) W is a part of Z (5) W is an instance of gun barrel (6) V is an instance of finite line in space (7) U and T are end points of V (8) U and T are the end PointInSpace of object W (9) X is located at S (10) S is an instance of geographic area (11) R is a part of S, then the angle between V, the PlaneInSpace is perpendicular to the line formed by R, and the centre of the AstronomicalBody. is Y |
| consequent |
|
|
| (=> (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 |
| (=> (instance ?GUN Pistol) (exists (?B ?C) (and (part ?B ?GUN) (instance ?B GunBarrel) (part ?C ?B) (instance ?C GunChamber) (not (exists (?C2) (and (instance ?C2 GunChamber) (part ?C2 ?B) (not (equal ?C ?C2)))))))) |
Mid-level-ontology.kif 2087-2101 | If X is an instance of pistol, then All of the following hold: (1) there exist Y (2) Z such that Y is a part of X (3) Y is an instance of gun barrel (4) Z is a part of Y (5) Z is an instance of gun chamber (6) there doesn't exist W such that W is an instance of gun chamber (7) W is a part of Y (8) equal Z (9) W |
|
