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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NavalAirForce-BranchOfService

Sigma KEE - NavalAirForce-BranchOfService
NavalAirForce-BranchOfService

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


(documentation NavalAirForce-BranchOfService EnglishLanguage "Modern nation-states' naval air forces (the whole branch of service) and not a subdivision thereof.") Military.kif 811-812
(subclass NavalAirForce-BranchOfService MilitaryOrganization) Military.kif 813-813

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


(termFormat ChineseLanguage NavalAirForce-BranchOfService "海军航空兵 - 支部") domainEnglishFormat.kif 39936-39936
(termFormat ChineseTraditionalLanguage NavalAirForce-BranchOfService "海軍航空兵 -支部") domainEnglishFormat.kif 39935-39935
(termFormat EnglishLanguage NavalAirForce-BranchOfService "Naval Air Force") Military.kif 814-814
(termFormat EnglishLanguage NavalAirForce-BranchOfService "naval air force- branch of service") domainEnglishFormat.kif 39934-39934


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