Fighter - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Fighter MilitaryAircraft)	Military.kif 247-247	Fighter is a subclass of military aircraft
(documentation Fighter EnglishLanguage "Any high-speed MilitaryAircraft whose purpose is to destroy enemy MilitaryAircraft.")	Military.kif 248-249	Fighter is a subclass of military aircraft
(externalImage Fighter "http://articulatesoftware.com/SUMOpictures/armed_services/ Airforce/ FIGHTER-7.png")	pictureList.kif 427-427	Fighter is a subclass of military aircraft
(externalImage Fighter "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ F-105_Thunderchief_underside.jpg")	pictureList.kif 2168-2168	Fighter is a subclass of military aircraft
(externalImage Fighter "http://upload.wikimedia.org/wikipedia/commons/c/ cf/ F-14_Tomcat_VF-31_2006.jpg")	pictureList.kif 2169-2169	Fighter is a subclass of military aircraft
(externalImage Fighter "http://upload.wikimedia.org/wikipedia/commons/8/ 8e/ MiG-25_fig2agrau_USAF.jpg")	pictureList.kif 2171-2171	Fighter is a subclass of military aircraft

appearance as argument number 2

(termFormat EnglishLanguage Fighter "fighter")	domainEnglishFormat.kif 23632-23632
(termFormat ChineseTraditionalLanguage Fighter "戰鬥者")	domainEnglishFormat.kif 23633-23633
(termFormat ChineseLanguage 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)))))

If X is an instance of fighter, then X has the purpose there exist Y, Z such that Y is an instance of attack, X is an instrument for Y, Z is a patient of Y, and Z is an instance of military aircraft