| Gun
| |
| appearance as argument number 1 |
|
|
| (documentation Gun EnglishLanguage "A Weapon that shoots a Projectile.") | Mid-level-ontology.kif 1553-1553 | |
| (externalImage Gun "http://upload.wikimedia.org/wikipedia/commons/0/06/Pistol_Browning_SFS.jpg") | pictureList.kif 106-106 | |
| (partition Gun ArtilleryGun Firearm) | Mid-level-ontology.kif 1552-1552 | |
| (subclass Gun ProjectileLauncher) | Mid-level-ontology.kif 1551-1551 | |
| (subclass Gun Weapon) | Mid-level-ontology.kif 1550-1550 |
| appearance as argument number 2 |
|
|
| (subclass ArtilleryGun Gun) | Mid-level-ontology.kif 2009-2009 | |
| (subclass AutomaticGun Gun) | Mid-level-ontology.kif 1976-1976 | |
| (subclass Firearm Gun) | Mid-level-ontology.kif 2013-2013 | |
| (termFormat ChineseLanguage Gun "枪") | domainEnglishFormat.kif 27010-27010 | |
| (termFormat ChineseTraditionalLanguage Gun "槍") | domainEnglishFormat.kif 27009-27009 | |
| (termFormat EnglishLanguage Gun "gun") | domainEnglishFormat.kif 27008-27008 | |
| (typicalPart GunTrigger Gun) | Mid-level-ontology.kif 1750-1750 | |
| (typicallyContainsPart GunTrigger Gun) | Mid-level-ontology.kif 1751-1751 |
| appearance as argument number 3 |
|
|
| (domainSubclass caliber 1 Gun) | MilitaryDevices.kif 211-211 |
| 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 1625-1637 | |
| (=> (and (instance ?GUN Gun) (effectiveRange ?GUN ?LM) (distance ?GUN ?O ?LM1) (instance ?O Organism) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (capability (KappaFn ?KILLING (and (instance ?KILLING Killing) (patient ?KILLING ?O))) instrument ?GUN)) |
Mid-level-ontology.kif 1798-1813 | |
| (=> (and (instance ?GUN Gun) (effectiveRange ?GUN ?LM) (distance ?GUN ?O ?LM1) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (capability (KappaFn ?DAMAGING (and (instance ?DAMAGING Damaging) (patient ?DAMAGING ?O))) instrument ?GUN)) |
Mid-level-ontology.kif 1780-1794 | |
| (=> (instance ?GUN Gun) (capability Shooting instrument ?GUN)) |
Mid-level-ontology.kif 1555-1557 |
| consequent |
|
|
| (=> (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 1574-1582 | |
| (=> (instance ?B GunBarrel) (exists (?G) (and (instance ?G Gun) (part ?B ?G)))) |
Mid-level-ontology.kif 1618-1623 | |
| (=> (instance ?SHOOT Shooting) (exists (?PROJECTILE ?GUN) (and (instance ?PROJECTILE Projectile) (patient ?SHOOT ?PROJECTILE) (instance ?GUN Gun) (instrument ?SHOOT ?GUN)))) |
Mid-level-ontology.kif 1559-1566 | |
| (=> (instance ?STOCK GunStock) (exists (?GUN) (and (instance ?GUN Gun) (part ?STOCK ?GUN)))) |
Mid-level-ontology.kif 1819-1824 |
|
|
|