| Fighter
| |
| appearance as argument number 1 |
|
|
| (documentation Fighter EnglishLanguage "Any high-speed MilitaryAircraft whose purpose is to destroy enemy MilitaryAircraft.") | Military.kif 239-240 | |
| (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 2168-2168 | |
| (externalImage Fighter "http://upload.wikimedia.org/wikipedia/commons/8/ 8e/ MiG-25_fig2agrau_USAF.jpg") | pictureList.kif 2171-2171 | |
| (externalImage Fighter "http://upload.wikimedia.org/wikipedia/commons/c/ cf/ F-14_Tomcat_VF-31_2006.jpg") | pictureList.kif 2169-2169 | |
| (subclass Fighter MilitaryAircraft) | Military.kif 238-238 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Fighter "战斗者") | domainEnglishFormat.kif 23641-23641 | |
| (termFormat ChineseTraditionalLanguage Fighter "戰鬥者") | domainEnglishFormat.kif 23640-23640 | |
| (termFormat EnglishLanguage Fighter "fighter") | domainEnglishFormat.kif 23639-23639 |
| antecedent |
|
|
| (=> (instance ?F Fighter) (hasPurpose ?F (exists (?A ?MA) (and (instance ?A Attack) (instrument ?A ?F) (patient ?A ?MA) (instance ?MA MilitaryAircraft))))) |
Military.kif 241-249 |
|
|
|