| GunBarrel
| |
| appearance as argument number 1 |
|
|
| (documentation GunBarrel EnglishLanguage "The part of a Gun through which a Projectile travels when it is fired.") | Mid-level-ontology.kif 1291-1292 | |
| (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 | |
| (subclass GunBarrel EngineeringComponent) | Mid-level-ontology.kif 1290-1290 |
| appearance as argument number 2 |
|
|
| (partTypes GunBore GunBarrel) | Mid-level-ontology.kif 1389-1389 | |
| (partTypes GunMuzzle GunBarrel) | Mid-level-ontology.kif 1360-1360 | |
| (relatedInternalConcept Forestock GunBarrel) | Mid-level-ontology.kif 1463-1463 | |
| (relatedInternalConcept Gunstock GunBarrel) | Mid-level-ontology.kif 1411-1411 | |
| (termFormat ChineseLanguage GunBarrel "枪管") | domainEnglishFormat.kif 27095-27095 | |
| (termFormat ChineseTraditionalLanguage GunBarrel "槍管") | domainEnglishFormat.kif 27094-27094 | |
| (termFormat EnglishLanguage GunBarrel "gun barrel") | domainEnglishFormat.kif 27093-27093 | |
| (typicalPart GunChamber GunBarrel) | Mid-level-ontology.kif 1326-1326 |
| antecedent |
|
|
| (=> (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 | |
| (=> (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 1301-1313 | |
| (=> (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 2002-2012 | |
| (=> (instance ?B GunBarrel) (exists (?G) (and (instance ?G Gun) (part ?B ?G)))) |
Mid-level-ontology.kif 1294-1299 |
| 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 1362-1381 | |
| (=> (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 2018-2032 |
|
|
|