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 |