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 39871-39871 termFormat ChineseLanguage, NavalAirForce-BranchOfService and "海军航空兵 - 支部"
(termFormat ChineseTraditionalLanguage NavalAirForce-BranchOfService "海軍航空兵 -支部") domainEnglishFormat.kif 39870-39870 termFormat ChineseTraditionalLanguage, NavalAirForce-BranchOfService and "海軍航空兵 -支部"
(termFormat EnglishLanguage NavalAirForce-BranchOfService "Naval Air Force") Military.kif 814-814 termFormat EnglishLanguage, NavalAirForce-BranchOfService and "Naval Air Force"
(termFormat EnglishLanguage NavalAirForce-BranchOfService "naval air force- branch of service") domainEnglishFormat.kif 39869-39869 termFormat EnglishLanguage, NavalAirForce-BranchOfService and "naval air force- branch of service"


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners