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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 subclass NavalAirForce-BranchOfService and MilitaryOrganization

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


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


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 3.0 is open source software produced by Articulate Software and its partners