| 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 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 161-161 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Fighter "战斗者") | domainEnglishFormat.kif 23653-23653 | |
| (termFormat ChineseTraditionalLanguage Fighter "戰鬥者") | domainEnglishFormat.kif 23652-23652 | |
| (termFormat EnglishLanguage Fighter "fighter") | domainEnglishFormat.kif 23651-23651 |
| 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 |
|
|
|