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



KB Term:  Term intersection
English Word: 

  AirForce

Sigma KEE - AirForce
AirForce(air force)
air_force, airforce

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


(subclass AirForce MilitaryService) Mid-level-ontology.kif 9710-9710 Air force is a subclass of military service
(documentation AirForce EnglishLanguage "AirForce is the subclass of MilitaryService that comprises military air forces.") Mid-level-ontology.kif 9711-9712 Air force is a subclass of military service
(externalImage AirForce "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ India.Military.03.jpg") pictureList.kif 5842-5842 Air force is a subclass of military service

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


(termFormat EnglishLanguage AirForce "air force") domainEnglishFormat.kif 6151-6151
(termFormat ChineseTraditionalLanguage AirForce "空軍") domainEnglishFormat.kif 6152-6152
(termFormat ChineseLanguage AirForce "空军") domainEnglishFormat.kif 6153-6153

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


(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 AirForce))
    (leaderPosition ?FORCE1 JointForcesAirCommander))
MilitaryPersons.kif 385-390 If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of air force, then joint forces air commander is a leader position of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners