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 |
![]() |
![]() |