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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryAircraft
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 "http://upload.wikimedia.org/wikipedia/commons/ 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 37465-37465
(termFormat ChineseTraditionalLanguage MilitaryAircraft "軍用飛機") domainEnglishFormat.kif 37464-37464
(termFormat EnglishLanguage MilitaryAircraft "military aircraft") domainEnglishFormat.kif 37463-37463

consequent
-------------------------


(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners