| 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 37541-37541 | |
| (termFormat ChineseTraditionalLanguage MilitaryAircraft "軍用飛機") | domainEnglishFormat.kif 37540-37540 | |
| (termFormat EnglishLanguage MilitaryAircraft "military aircraft") | domainEnglishFormat.kif 37539-37539 |
| consequent |
|
|
| (=> (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 |
|
|
|