| ArtilleryGun
| |
| appearance as argument number 1 |
|
|
| (documentation ArtilleryGun EnglishLanguage "A Gun that is too large to be carried and fired by a single Human. Typically, ArtilleryGuns are on wheels.") | Mid-level-ontology.kif 1817-1818 | |
| (externalImage ArtilleryGun "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 24/ WWI_Field_Gun_316.JPG/ 180px_WWI_Field_Gun_316.JPG") | pictureList.kif 1037-1037 | |
| (subclass ArtilleryGun Gun) | Mid-level-ontology.kif 1816-1816 |
| appearance as argument number 2 |
|
|
| (partition Gun ArtilleryGun Firearm) | Mid-level-ontology.kif 1228-1228 | |
| (subclass ArtilleryCannon ArtilleryGun) | MilitaryDevices.kif 171-171 | |
| (subclass Howitzer ArtilleryGun) | MilitaryDevices.kif 196-196 | |
| (subclass MortarGun ArtilleryGun) | Mid-level-ontology.kif 1244-1244 | |
| (termFormat ChineseLanguage ArtilleryGun "火炮枪") | domainEnglishFormat.kif 8545-8545 | |
| (termFormat ChineseTraditionalLanguage ArtilleryGun "火砲槍") | domainEnglishFormat.kif 8544-8544 | |
| (termFormat EnglishLanguage ArtilleryGun "artillery gun") | domainEnglishFormat.kif 8543-8543 |
| antecedent |
|
|
| (=> (and (instance ?GUN ArtilleryGun) (instance ?W Wheel) (part ?W ?GUN)) (hasPurpose ?W (exists (?T) (and (instance ?T Translocation) (objectTransferred ?T ?GUN) (instrument ?T ?W))))) |
Mid-level-ontology.kif 1838-1848 | |
| (=> (instance ?GUN ArtilleryGun) (modalAttribute (exists (?W) (and (instance ?W Wheel) (part ?W ?GUN))) Likely)) |
Mid-level-ontology.kif 1830-1836 | |
| (=> (instance ?GUN ArtilleryGun) (not (exists (?A ?C) (and (instance ?A Human) (instance ?C Carrying) (instrument ?C ?A) (objectTransferred ?C ?GUN))))) |
Mid-level-ontology.kif 1820-1828 |
| consequent |
|
|
| (=> (instance ?AB ArtilleryBattery) (exists (?COLL) (and (instance ?COLL Collection) (memberType ?COLL ArtilleryGun) (memberCount ?COLL ?I) (greaterThan ?I 2) (possesses ?AB ?COLL)))) |
MilitaryPersons.kif 505-513 |
|
|
|