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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fighter

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://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 è una sottoclasse di MilitaryAircraft

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


(termFormat ChineseLanguage Fighter "战斗者") domainEnglishFormat.kif 23636-23636
(termFormat ChineseTraditionalLanguage Fighter "戰鬥者") domainEnglishFormat.kif 23635-23635
(termFormat EnglishLanguage Fighter "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)))))
Military.kif 164-172


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

Show without tree


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