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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EnlistedSoldierRank

Sigma KEE - EnlistedSoldierRank
EnlistedSoldierRank(enlisted soldier rank)Jack, Jack-tar, enlisted_man, enlisted_person, gob, mariner, old_salt, recruiting-sergeant, sea_dog, seafarer, seaman, tar

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


(disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank) Military.kif 269-269 Enlisted soldier rank is disjointly decomposed into private rank and non commissioned officer rank
(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 Enlisted soldier rank is a subclass of military rank

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


(subclass NonCommissionedOfficerRank EnlistedSoldierRank) Military.kif 299-299 Non commissioned officer rank is a subclass of enlisted soldier rank
(subclass PrivateRank EnlistedSoldierRank) Military.kif 314-314 Private rank is a subclass of enlisted soldier rank
(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 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