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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryAircraft
MilitaryAircraft(military aircraft)
military_plane, warplane

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 Military aircraft is a subclass of aircraft
(subclass MilitaryAircraft MilitaryVehicle) Military.kif 156-156 Military aircraft is a subclass of military vehicle

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


(subclass Bomber MilitaryAircraft) Military.kif 174-174 Bomber is a subclass of military aircraft
(subclass Fighter MilitaryAircraft) Military.kif 161-161 Fighter is a subclass of military aircraft
(termFormat ChineseLanguage MilitaryAircraft "军用飞机") domainEnglishFormat.kif 37441-37441
(termFormat ChineseTraditionalLanguage MilitaryAircraft "軍用飛機") domainEnglishFormat.kif 37440-37440
(termFormat EnglishLanguage MilitaryAircraft "military aircraft") domainEnglishFormat.kif 37439-37439

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