Fighter(fighter) | attack_aircraft, fighter, fighter_aircraft, stealth_fighter |
appearance as argument number 1 |
(documentation Fighter EnglishLanguage "Any high-speed MilitaryAircraft whose purpose is to destroy enemy MilitaryAircraft.") | Military.kif 162-163 | |
(externalImage Fighter "http://articulatesoftware.com/SUMOpictures/armed_services/ Airforce/ FIGHTER-7.png") | pictureList.kif 427-427 | |
(externalImage Fighter "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ F-105_Thunderchief_underside.jpg") | pictureList.kif 2169-2169 | |
(externalImage Fighter "http://upload.wikimedia.org/wikipedia/commons/8/ 8e/ MiG-25_fig2agrau_USAF.jpg") | pictureList.kif 2172-2172 | |
(externalImage Fighter "http://upload.wikimedia.org/wikipedia/commons/c/ cf/ F-14_Tomcat_VF-31_2006.jpg") | pictureList.kif 2170-2170 | |
(subclass Fighter MilitaryAircraft) | Military.kif 161-161 | Fighter is a subclass of military aircraft |
appearance as argument number 2 |
(termFormat ChineseLanguage Fighter "战斗者") | domainEnglishFormat.kif 23636-23636 | |
(termFormat ChineseTraditionalLanguage Fighter "戰鬥者") | domainEnglishFormat.kif 23635-23635 | |
(termFormat EnglishLanguage Fighter "fighter") | domainEnglishFormat.kif 23634-23634 |
antecedent |
(=> (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 |
|