| AmphibiousVehicle
|
| appearance as argument number 1 |
|
| (externalImage AmphibiousVehicle "http://upload.wikimedia.org/wikipedia/ commons/ d/ d6/ BTR-70_coming_ashore.jpg") | pictureList.kif 1638-1638 | |
| (externalImage AmphibiousVehicle "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 7/ 72/ AAV_australia.jpg/ 751px_AAV_australia.jpg") | pictureList.kif 1426-1426 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AmphibiousVehicle "两栖车辆") | domainEnglishFormat.kif 7291-7291 | |
| (termFormat ChineseTraditionalLanguage AmphibiousVehicle "兩棲車輛") | domainEnglishFormat.kif 7290-7290 | |
| (termFormat EnglishLanguage AmphibiousVehicle "amphibious vehicle") | domainEnglishFormat.kif 7289-7289 |
| consequent |
|
|
| (=> (instance ?AR AmphibiousReconnaissance) (exists (?AMPHCRAFT) (and (instance ?AMPHCRAFT AmphibiousVehicle) (instrument ?AR ?AMPHCRAFT)))) |
MilitaryProcesses.kif 773-778 |
|
|
|