| ArtilleryCannon(artillery cannon) | | cannon |
| appearance as argument number 1 |
|
|
| (disjoint ArtilleryCannon MilitaryTank) | MilitaryDevices.kif 172-172 | Artillery cannon is disjoint from military tank |
| (documentation ArtilleryCannon EnglishLanguage "A long_range ArtilleryGun that is capable of launching rockets or grenades or other explosives.") | MilitaryDevices.kif 174-175 | Artillery cannon is disjoint from military tank |
| (subclass ArtilleryCannon ArtilleryGun) | MilitaryDevices.kif 171-171 | Artillery cannon is a subclass of artillery gun |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ArtilleryCannon "火炮") | domainEnglishFormat.kif 8545-8545 | |
| (termFormat ChineseTraditionalLanguage ArtilleryCannon "火砲") | domainEnglishFormat.kif 8544-8544 | |
| (termFormat EnglishLanguage ArtilleryCannon "artillery cannon") | domainEnglishFormat.kif 8543-8543 |
| antecedent |
|
|
| (=> (and (instance ?SHOOTING Shooting) (instrument ?SHOOTING ?AC) (instance ?AC ArtilleryCannon)) (exists (?PROJ) (and (instrument ?SHOOTING ?PROJ) (instance ?PROJ (UnionFn Missile Grenade))))) |
MilitaryDevices.kif 179-188 |
|
| consequent |
|
|
| (=> (instance ?TANK MilitaryTank) (exists (?TRACK ?GUN) (and (instance ?TRACK ContinuousTrack) (part ?TRACK ?TANK) (instance ?GUN ArtilleryCannon) (part ?GUN ?TANK)))) |
Military.kif 150-157 |
|
|
|
|