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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fighter
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 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 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