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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - USMilitaryRankO3
USMilitaryRankO3(美国军衔o3)

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


(instance USMilitaryRankO3 CompanyGradeRank) Military.kif 503-503 美国军衔o3公司等级排名instance
(instance USMilitaryRankO3 USMilitaryRank) Military.kif 504-504 美国军衔o3美国军衔instance
(subAttribute USMilitaryRankO3 Soldier) Military.kif 505-505 美国军衔o3士兵subAttribute
(successorAttribute USMilitaryRankO3 USMilitaryRankO4) Military.kif 512-512 美国军衔o3美国军衔o4 的直接后续属性

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


(successorAttribute USMilitaryRankO2 USMilitaryRankO3) Military.kif 502-502 美国军衔o2美国军衔o3 的直接后续属性
(synonymousExternalConcept "Captain" USMilitaryRankO3 USAirforceRankingSystem) Military.kif 507-507
(synonymousExternalConcept "Captain" USMilitaryRankO3 USArmyRankingSystem) Military.kif 506-506
(synonymousExternalConcept "Captain" USMilitaryRankO3 USMarineCorpsRankingSystem) Military.kif 508-508
(synonymousExternalConcept "Lieutenant" USMilitaryRankO3 USCoastGuardRankingSystem) Military.kif 510-510
(synonymousExternalConcept "Lieutenant" USMilitaryRankO3 USNavyRankingSystem) Military.kif 509-509
(termFormat ChineseLanguage USMilitaryRankO3 "美国军衔o3") domainEnglishFormat.kif 60974-60974
(termFormat ChineseTraditionalLanguage USMilitaryRankO3 "美國軍銜o3") domainEnglishFormat.kif 60973-60973
(termFormat EnglishLanguage USMilitaryRankO3 "US military rank o3") domainEnglishFormat.kif 60972-60972

statement
-------------------------


(commandRankOfEchelon CompanyMilitary
    (UnionFn USMilitaryRankO3 USMilitaryRankO4))
Military.kif 742-743 结合 美国军衔o3美国军衔o4公司- 军事command 梯队等级


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