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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRankO4

Sigma KEE - USMilitaryRankO4
USMilitaryRankO4

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


(instance USMilitaryRankO4 FieldGradeOfficerRank) Military.kif 513-513 USMilitaryRankO4FieldGradeOfficerRankinstance では %n
(instance USMilitaryRankO4 USMilitaryRank) Military.kif 514-514 USMilitaryRankO4USMilitaryRankinstance では %n
(subAttribute USMilitaryRankO4 Soldier) Military.kif 515-515 USMilitaryRankO4Soldiersubattribute では %n
(successorAttribute USMilitaryRankO4 USMilitaryRankO5) Military.kif 522-522 USMilitaryRankO4USMilitaryRankO5 の immediate successor attribute では %n

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


(successorAttribute USMilitaryRankO3 USMilitaryRankO4) Military.kif 512-512 USMilitaryRankO3USMilitaryRankO4 の immediate successor attribute では %n
(synonymousExternalConcept "Lieutenant Commander" USMilitaryRankO4 USCoastGuardRankingSystem) Military.kif 520-520
(synonymousExternalConcept "Lieutenant Commander" USMilitaryRankO4 USNavyRankingSystem) Military.kif 519-519
(synonymousExternalConcept "Major" USMilitaryRankO4 USAirforceRankingSystem) Military.kif 517-517
(synonymousExternalConcept "Major" USMilitaryRankO4 USArmyRankingSystem) Military.kif 516-516
(synonymousExternalConcept "Major" USMilitaryRankO4 USMarineCorpsRankingSystem) Military.kif 518-518
(termFormat ChineseLanguage USMilitaryRankO4 "美国军衔o4") domainEnglishFormat.kif 60980-60980
(termFormat ChineseTraditionalLanguage USMilitaryRankO4 "美國軍銜o4") domainEnglishFormat.kif 60979-60979
(termFormat EnglishLanguage USMilitaryRankO4 "US military rank o4") domainEnglishFormat.kif 60978-60978

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