| 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 23658-23658 | |
| (termFormat ChineseTraditionalLanguage Fighter "戰鬥者") | domainEnglishFormat.kif 23657-23657 | |
| (termFormat EnglishLanguage Fighter "fighter") | domainEnglishFormat.kif 23656-23656 |
| 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 |
|
|
|
|