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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - USMilitaryRankO3
USMilitaryRankO3

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


(instance USMilitaryRankO3 CompanyGradeRank) Military.kif 503-503
(instance USMilitaryRankO3 USMilitaryRank) Military.kif 504-504
(subAttribute USMilitaryRankO3 Soldier) Military.kif 505-505
(successorAttribute USMilitaryRankO3 USMilitaryRankO4) Military.kif 512-512

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


(successorAttribute USMilitaryRankO2 USMilitaryRankO3) Military.kif 502-502
(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 60919-60919
(termFormat ChineseTraditionalLanguage USMilitaryRankO3 "美國軍銜o3") domainEnglishFormat.kif 60918-60918
(termFormat EnglishLanguage USMilitaryRankO3 "US military rank o3") domainEnglishFormat.kif 60917-60917

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


(commandRankOfEchelon Company-Military
    (UnionFn USMilitaryRankO3 USMilitaryRankO4))
Military.kif 741-742


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