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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EnlistedSoldierRank
EnlistedSoldierRank(士兵军衔)

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


(disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank) Military.kif 269-269 士兵军衔 分拆成不相交的 私人排名非委任军官级别
(documentation EnlistedSoldierRank EnglishLanguage "Soldiers who are enlisted in some military and have no command.") Military.kif 267-268
(subclass EnlistedSoldierRank MilitaryRank) Military.kif 266-266 士兵军衔军衔subclass

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


(subclass NonCommissionedOfficerRank EnlistedSoldierRank) Military.kif 299-299 非委任军官级别士兵军衔subclass
(subclass PrivateRank EnlistedSoldierRank) Military.kif 314-314 私人排名士兵军衔subclass
(termFormat ChineseLanguage EnlistedSoldierRank "士兵军衔") domainEnglishFormat.kif 22180-22180
(termFormat ChineseTraditionalLanguage EnlistedSoldierRank "士兵軍銜") domainEnglishFormat.kif 22179-22179
(termFormat EnglishLanguage EnlistedSoldierRank "enlisted soldier rank") domainEnglishFormat.kif 22178-22178

consequent
-------------------------


(=>
    (attribute ?C Corpsman)
    (attribute ?C EnlistedSoldierRank))
MilitaryPersons.kif 743-745


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