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 1181-1181
(subclass MilitaryAircraft Aircraft) Military.kif 155-155 MilitaryAircraft est une sous-classe de Aircraft
(subclass MilitaryAircraft MilitaryVehicle) Military.kif 156-156 MilitaryAircraft est une sous-classe de MilitaryVehicle

appearance as argument number 2

(subclass Bomber MilitaryAircraft) Military.kif 174-174 Bomber est une sous-classe de MilitaryAircraft
(subclass Fighter MilitaryAircraft) Military.kif 161-161 Fighter est une sous-classe de MilitaryAircraft
(termFormat ChineseLanguage MilitaryAircraft "军用飞机") domainEnglishFormat.kif 37553-37553
(termFormat ChineseTraditionalLanguage MilitaryAircraft "軍用飛機") domainEnglishFormat.kif 37552-37552
(termFormat EnglishLanguage MilitaryAircraft "military aircraft") domainEnglishFormat.kif 37551-37551


    (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