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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MilitaryAircraft

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 1181-1181
(subclass MilitaryAircraft Aircraft) Military.kif 155-155 MilitaryAircraft è una sottoclasse di Aircraft
(subclass MilitaryAircraft MilitaryVehicle) Military.kif 156-156 MilitaryAircraft è una sottoclasse di MilitaryVehicle

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


(subclass Bomber MilitaryAircraft) Military.kif 174-174 Bomber è una sottoclasse di MilitaryAircraft
(subclass Fighter MilitaryAircraft) Military.kif 161-161 Fighter è una sottoclasse di MilitaryAircraft
(termFormat ChineseLanguage MilitaryAircraft "军用飞机") domainEnglishFormat.kif 37541-37541
(termFormat ChineseTraditionalLanguage MilitaryAircraft "軍用飛機") domainEnglishFormat.kif 37540-37540
(termFormat EnglishLanguage MilitaryAircraft "military aircraft") domainEnglishFormat.kif 37539-37539

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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