| ArtilleryCannon | |
| appearance as argument number 1 |
|
|
| (disjoint ArtilleryCannon MilitaryTank) | MilitaryDevices.kif 172-172 | |
| (documentation ArtilleryCannon EnglishLanguage "A long-range ArtilleryGun that is capable of launching rockets or grenades or other explosives.") | MilitaryDevices.kif 174-175 | |
| (subclass ArtilleryCannon ArtilleryGun) | MilitaryDevices.kif 171-171 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ArtilleryCannon "火炮") | domainEnglishFormat.kif 8539-8539 | |
| (termFormat ChineseTraditionalLanguage ArtilleryCannon "火砲") | domainEnglishFormat.kif 8538-8538 | |
| (termFormat EnglishLanguage ArtilleryCannon "artillery cannon") | domainEnglishFormat.kif 8537-8537 |
| antecedent |
|
|
| (=> (and (instance ?S Shooting) (instrument ?S ?G) (instance ?G ArtilleryCannon)) (attribute ?S LowAngleFire)) |
MilitaryDevices.kif 189-194 | |
| (=> (instance ?G ArtilleryCannon) (hasPurpose ?G (exists (?S ?X) (and (instance ?S Shooting) (instrument ?S ?G) (angleOfFire ?S (MeasureFn ?X AngularDegree)) (greaterThanOrEqualTo ?X 0) (lessThanOrEqualTo ?X 45))))) |
MilitaryDevices.kif 177-187 |
| consequent |
|
|
| (=> (instance ?TANK MilitaryTank) (exists (?TRACK ?GUN) (and (instance ?TRACK ContinuousTrack) (part ?TRACK ?TANK) (instance ?GUN ArtilleryCannon) (part ?GUN ?TANK)))) |
Military.kif 160-167 |
|
|
|