AmphibiousVehicle |
appearance as argument number 1 |
(documentation AmphibiousVehicle EnglishLanguage "The class of vehicles that can go on land and water") | MilitaryDevices.kif 2021-2022 | |
(externalImage AmphibiousVehicle "http://upload.wikimedia.org/wikipedia/ commons/ d/ d6/ BTR-70_coming_ashore.jpg") | pictureList.kif 1639-1639 | |
(externalImage AmphibiousVehicle "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 7/ 72/ AAV-australia.jpg/ 751px-AAV-australia.jpg") | pictureList.kif 1426-1426 | |
(subclass AmphibiousVehicle LandVehicle) | MilitaryDevices.kif 2019-2019 | |
(subclass AmphibiousVehicle WaterVehicle) | MilitaryDevices.kif 2020-2020 |
appearance as argument number 2 |
(subclass AAV AmphibiousVehicle) | MilitaryDevices.kif 1647-1647 | |
(subclass LAV25 AmphibiousVehicle) | MilitaryDevices.kif 1521-1521 | |
(subclass LCAC AmphibiousVehicle) | MilitaryDevices.kif 1944-1944 | |
(termFormat ChineseLanguage AmphibiousVehicle "两栖车辆") | domainEnglishFormat.kif 7284-7284 | |
(termFormat ChineseTraditionalLanguage AmphibiousVehicle "兩棲車輛") | domainEnglishFormat.kif 7283-7283 | |
(termFormat EnglishLanguage AmphibiousVehicle "amphibious vehicle") | domainEnglishFormat.kif 7282-7282 |
antecedent |
(=> (instance ?VEHICLE AmphibiousVehicle) (capability LandingWaterLand instrument ?VEHICLE)) |
MilitaryDevices.kif 2026-2028 |
consequent |
(=> (instance ?AR AmphibiousReconnaissance) (exists (?AMPHCRAFT) (and (instance ?AMPHCRAFT AmphibiousVehicle) (instrument ?AR ?AMPHCRAFT)))) |
MilitaryProcesses.kif 773-778 |