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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankO3

Sigma KEE - USMilitaryRankO3
USMilitaryRankO3

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


(instance USMilitaryRankO3 CompanyGradeRank) Military.kif 503-503 USMilitaryRankO3CompanyGradeRankinstance では %n
(instance USMilitaryRankO3 USMilitaryRank) Military.kif 504-504 USMilitaryRankO3USMilitaryRankinstance では %n
(subAttribute USMilitaryRankO3 Soldier) Military.kif 505-505 USMilitaryRankO3Soldiersubattribute では %n
(successorAttribute USMilitaryRankO3 USMilitaryRankO4) Military.kif 512-512 USMilitaryRankO3USMilitaryRankO4 の immediate successor attribute では %n

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


(successorAttribute USMilitaryRankO2 USMilitaryRankO3) Military.kif 502-502 USMilitaryRankO2USMilitaryRankO3 の immediate successor attribute では %n
(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 60976-60976
(termFormat ChineseTraditionalLanguage USMilitaryRankO3 "美國軍銜o3") domainEnglishFormat.kif 60975-60975
(termFormat EnglishLanguage USMilitaryRankO3 "US military rank o3") domainEnglishFormat.kif 60974-60974

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


(commandRankOfEchelon CompanyMilitary
    (UnionFn USMilitaryRankO3 USMilitaryRankO4))
Military.kif 742-743 commandRankOfEchelon CompanyMilitary and USMilitaryRankO3USMilitaryRankO4union


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