Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass EnlistedSoldierRank MilitaryRank) Military.kif 541-541 Enlisted soldier rank is a subclass of military rank
(documentation EnlistedSoldierRank EnglishLanguage "Soldiers who are enlisted in some military and have no command.") Military.kif 542-543 Enlisted soldier rank is a subclass of military rank
(disjointDecomposition EnlistedSoldierRank PrivateRank NonCommissionedOfficerRank) Military.kif 544-544 Enlisted soldier rank is disjointly decomposed into private rank and non commissioned officer rank

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


(subclass NonCommissionedOfficerRank EnlistedSoldierRank) Military.kif 574-574 Non commissioned officer rank is a subclass of enlisted soldier rank
(subclass PrivateRank EnlistedSoldierRank) Military.kif 589-589 Private rank is a subclass of enlisted soldier rank
(termFormat EnglishLanguage EnlistedSoldierRank "enlisted soldier rank") domainEnglishFormat.kif 22175-22175 Private rank is a subclass of enlisted soldier rank
(termFormat ChineseTraditionalLanguage EnlistedSoldierRank "士兵軍銜") domainEnglishFormat.kif 22176-22176 Private rank is a subclass of enlisted soldier rank
(termFormat ChineseLanguage EnlistedSoldierRank "士兵军衔") domainEnglishFormat.kif 22177-22177 Private rank is a subclass of enlisted soldier rank

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


(=>
    (attribute ?C Corpsman)
    (attribute ?C EnlistedSoldierRank))		 MilitaryPersons.kif 758-760 If hospital corpsman is an attribute of X, then enlisted soldier rank is an attribute of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners