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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryAircraft

appearance as argument number 1

(documentation MilitaryAircraft EnglishLanguage "Any Aircraft which is made for a MilitaryOrganization. This includes fighters, Bombers, attack helicopters, etc.") Military.kif 157-159
(externalImage MilitaryAircraft " thumb/ 1/ 19/ F-14A_Tomcat_over_Iraq_during_Southern_Watch.jpg/ 250px-F-14A_Tomcat_over_Iraq_during_Southern_Watch.jpg") pictureList.kif 1182-1182
(subclass MilitaryAircraft Aircraft) Military.kif 155-155
(subclass MilitaryAircraft MilitaryVehicle) Military.kif 156-156

appearance as argument number 2

(subclass Bomber MilitaryAircraft) Military.kif 174-174
(subclass Fighter MilitaryAircraft) Military.kif 161-161
(termFormat ChineseLanguage MilitaryAircraft "军用飞机") domainEnglishFormat.kif 37530-37530
(termFormat ChineseTraditionalLanguage MilitaryAircraft "軍用飛機") domainEnglishFormat.kif 37529-37529
(termFormat EnglishLanguage MilitaryAircraft "military aircraft") domainEnglishFormat.kif 37528-37528


    (instance ?F Fighter)
    (hasPurpose ?F
        (exists (?A ?MA)
                (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