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 EnlistedSoldierRankPrivateRank + NonCommissionedOfficerRankdisjointly decomposed %n
(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 EnlistedSoldierRankMilitaryRanksubclass では %n

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


(subclass NonCommissionedOfficerRank EnlistedSoldierRank) Military.kif 299-299 NonCommissionedOfficerRankEnlistedSoldierRanksubclass では %n
(subclass PrivateRank EnlistedSoldierRank) Military.kif 314-314 PrivateRankEnlistedSoldierRanksubclass では %n
(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