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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AirForce

Sigma KEE - AirForce
AirForce(空軍)

appearance as argument number 1
-------------------------


(documentation AirForce EnglishLanguage "AirForce is the subclass of MilitaryService that comprises military air forces.") Mid-level-ontology.kif 8351-8352
(externalImage AirForce "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ India.Military.03.jpg") pictureList.kif 5843-5843
(subclass AirForce MilitaryService) Mid-level-ontology.kif 8350-8350 子類 空軍 and 兵役

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


(termFormat ChineseLanguage AirForce "空军") domainEnglishFormat.kif 6144-6144
(termFormat ChineseTraditionalLanguage AirForce "空軍") domainEnglishFormat.kif 6143-6143
(termFormat EnglishLanguage AirForce "air force") domainEnglishFormat.kif 6142-6142

antecedent
-------------------------


(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 AirForce))
    (leaderPosition ?FORCE1 JointForcesAirCommander))
MilitaryPersons.kif 371-376


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