| Firearm
| |
| appearance as argument number 1 |
|
|
| (documentation Firearm EnglishLanguage "A Gun that is small enough to be carried and fired by a single Human.") | Mid-level-ontology.kif 1628-1629 | |
| (externalImage Firearm "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 35/ Colt_Python.JPG/ 250px_Colt_Python.JPG") | pictureList.kif 1114-1114 | |
| (partition Firearm Rifle Pistol) | Mid-level-ontology.kif 1627-1627 | |
| (subclass Firearm Gun) | Mid-level-ontology.kif 1626-1626 |
| appearance as argument number 2 |
|
|
| (subclass Handgun Firearm) | Mid-level-ontology.kif 1671-1671 | |
| (subclass Rifle Firearm) | Mid-level-ontology.kif 1667-1667 | |
| (termFormat ChineseLanguage Firearm "火器") | domainEnglishFormat.kif 23928-23928 | |
| (termFormat ChineseTraditionalLanguage Firearm "火器") | domainEnglishFormat.kif 23927-23927 | |
| (termFormat EnglishLanguage Firearm "firearm") | domainEnglishFormat.kif 23926-23926 |
| appearance as argument number 3 |
|
|
| (partition Gun ArtilleryGun Firearm) | Mid-level-ontology.kif 1155-1155 |
| antecedent |
|
|
| (=> (instance ?GUN Firearm) (hasPurpose ?GUN (exists (?A ?CARRY ?C) (and (instance ?A Human) (subclass ?CARRY Carrying) (instance ?C ?CARRY) (objectTransferred ?C ?GUN) (capability ?CARRY instrument ?A) (not (exists (?A2) (and (instance ?A2 Human) (not (equal ?A ?A2)) (instrument ?C ?A2)))))))) |
Mid-level-ontology.kif 1631-1647 | |
| (=> (instance ?GUN Firearm) (hasPurpose ?GUN (exists (?A ?SHOOT ?S) (and (instance ?A Human) (subclass ?SHOOT Shooting) (instance ?S ?SHOOT) (objectTransferred ?S ?GUN) (capability ?SHOOT agent ?A) (not (exists (?A2) (and (instance ?A2 Human) (not (equal ?A ?A2)) (agent ?S ?A2)))))))) |
Mid-level-ontology.kif 1649-1665 |
| consequent |
|
|
| (=> (instance ?AB InfantryUnit) (exists (?AC) (and (or (instance ?AC AutomaticGun) (instance ?AC Firearm) (instance ?AC MortarGun) (instance ?AC ExplosiveMine)) (possesses ?AB ?AC)))) |
Military.kif 743-752 |
|
|
|