| AmphibiousVehicle(amphibious vehicle)
|
| appearance as argument number 1 |
|
| (subclass AmphibiousVehicle LandVehicle) | MilitaryDevices.kif 2176-2176 | Amphibious vehicle is a subclass of land vehicle |
| (subclass AmphibiousVehicle WaterVehicle) | MilitaryDevices.kif 2177-2177 | Amphibious vehicle is a subclass of water vehicle |
| (documentation AmphibiousVehicle EnglishLanguage "The class of vehicles that can go on land and water") | MilitaryDevices.kif 2178-2179 | Amphibious vehicle is a subclass of water vehicle |
| (externalImage AmphibiousVehicle "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 7/ 72/ AAV_australia.jpg/ 751px_AAV_australia.jpg") | pictureList.kif 1426-1426 | Amphibious vehicle is a subclass of water vehicle |
| (externalImage AmphibiousVehicle "http://upload.wikimedia.org/wikipedia/ commons/ d/ d6/ BTR-70_coming_ashore.jpg") | pictureList.kif 1638-1638 | Amphibious vehicle is a subclass of water vehicle |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?VEHICLE AmphibiousVehicle) (capability LandingWaterLand instrument ?VEHICLE)) |
MilitaryDevices.kif 2183-2185 | If X is an instance of amphibious vehicle, then X is capable of doing landing water land as a instrument |
| consequent |
|
|
| (=> (instance ?AR AmphibiousReconnaissance) (exists (?AMPHCRAFT) (and (instance ?AMPHCRAFT AmphibiousVehicle) (instrument ?AR ?AMPHCRAFT)))) |
MilitaryProcesses.kif 792-797 | If X is an instance of amphibious reconnaissance, then there exists Y such that Y is an instance of amphibious vehicle and Y is an instrument for X |
|
|
|