| MilitaryAircraft
| |
| appearance as argument number 1 |
|
|
| (documentation MilitaryAircraft EnglishLanguage "Any Aircraft which is made for a MilitaryOrganization. This includes fighters, Bombers, attack helicopters, etc.") | Military.kif 157-159 | |
| (externalImage MilitaryAircraft "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 19/ F-14A_Tomcat_over_Iraq_during_Southern_Watch.jpg/ 250px-F-14A_Tomcat_over_Iraq_during_Southern_Watch.jpg") | pictureList.kif 1181-1181 | |
| (subclass MilitaryAircraft Aircraft) | Military.kif 155-155 | |
| (subclass MilitaryAircraft MilitaryVehicle) | Military.kif 156-156 |
| appearance as argument number 2 |
|
|
| (subclass Bomber MilitaryAircraft) | Military.kif 174-174 | |
| (subclass Fighter MilitaryAircraft) | Military.kif 161-161 | |
| (termFormat ChineseLanguage MilitaryAircraft "军用飞机") | domainEnglishFormat.kif 37570-37570 | |
| (termFormat ChineseTraditionalLanguage MilitaryAircraft "軍用飛機") | domainEnglishFormat.kif 37569-37569 | |
| (termFormat EnglishLanguage MilitaryAircraft "military aircraft") | domainEnglishFormat.kif 37568-37568 |
| consequent |
|
|
| (=> (instance ?A MilitaryAirport) (hasPurpose ?A (exists (?M) (and (instance ?M MilitaryAircraft) (or (capableAtLocation TakingOff origin ?M ?A) (capableAtLocation Landing destination ?M ?A)))))) |
MilitaryProcesses.kif 2790-2798 | |
| (=> (instance ?F Fighter) (hasPurpose ?F (exists (?A ?MA) (and (instance ?A Attack) (instrument ?A ?F) (patient ?A ?MA) (instance ?MA MilitaryAircraft))))) |
Military.kif 164-172 |
|
|
|