Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fighter
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://upload.wikimedia.org/wikipedia/commons/1/ 1b/ F-105_Thunderchief_underside.jpg") pictureList.kif 2170-2170
(externalImage Fighter "http://upload.wikimedia.org/wikipedia/commons/8/ 8e/ MiG-25_fig2agrau_USAF.jpg") pictureList.kif 2173-2173
(externalImage Fighter "http://upload.wikimedia.org/wikipedia/commons/c/ cf/ F-14_Tomcat_VF-31_2006.jpg") pictureList.kif 2171-2171
(externalImage Fighter "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ armed_services/ Airforce/ FIGHTER-7.png") pictureList.kif 427-427
(subclass Fighter MilitaryAircraft) Military.kif 161-161

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Fighter "战斗者") domainEnglishFormat.kif 23631-23631
(termFormat ChineseTraditionalLanguage Fighter "戰鬥者") domainEnglishFormat.kif 23630-23630
(termFormat EnglishLanguage Fighter "fighter") domainEnglishFormat.kif 23629-23629

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners