| 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 1593-1594 | |
| (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 1592-1592 |
| appearance as argument number 2 |
|
|
| (partition Gun ArtilleryGun Firearm) | Mid-level-ontology.kif 1155-1155 | |
| (subclass ArtilleryCannon ArtilleryGun) | MilitaryDevices.kif 171-171 | |
| (subclass MortarGun ArtilleryGun) | Mid-level-ontology.kif 1171-1171 | |
| (termFormat ChineseLanguage ArtilleryGun "火炮枪") | domainEnglishFormat.kif 8551-8551 | |
| (termFormat ChineseTraditionalLanguage ArtilleryGun "火砲槍") | domainEnglishFormat.kif 8550-8550 | |
| (termFormat EnglishLanguage ArtilleryGun "artillery gun") | domainEnglishFormat.kif 8549-8549 |
| 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 1614-1624 | |
| (=> (instance ?GUN ArtilleryGun) (modalAttribute (exists (?W) (and (instance ?W Wheel) (part ?W ?GUN))) Likely)) |
Mid-level-ontology.kif 1606-1612 | |
| (=> (instance ?GUN ArtilleryGun) (not (exists (?A ?C) (and (instance ?A Human) (instance ?C Carrying) (instrument ?C ?A) (objectTransferred ?C ?GUN))))) |
Mid-level-ontology.kif 1596-1604 |
| 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 |
|
|
|