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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - USMilitaryRankE8
USMilitaryRankE8(US military rank e8)master_sergeant

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


No TPTP formula. May not be expressible in strict first order. Military.kif 517-519
No TPTP formula. May not be expressible in strict first order. Military.kif 514-514 US military rank e8 is an instance of seniorNCO rank
No TPTP formula. May not be expressible in strict first order. Military.kif 515-515 US military rank e8 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 516-516 US military rank e8 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order. Military.kif 526-526 US military rank e8 is an immediate successor attribute of US military rank e9

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


No TPTP formula. May not be expressible in strict first order. Military.kif 513-513 US military rank e7 is an immediate successor attribute of US military rank e8
No TPTP formula. May not be expressible in strict first order. Military.kif 522-522 US military rank e7 is an immediate successor attribute of US military rank e8
No TPTP formula. May not be expressible in strict first order. Military.kif 520-520 US military rank e7 is an immediate successor attribute of US military rank e8
No TPTP formula. May not be expressible in strict first order. Military.kif 524-524 US military rank e7 is an immediate successor attribute of US military rank e8
No TPTP formula. May not be expressible in strict first order. Military.kif 523-523 US military rank e7 is an immediate successor attribute of US military rank e8
No TPTP formula. May not be expressible in strict first order. Military.kif 521-521 US military rank e7 is an immediate successor attribute of US military rank e8
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60932-60932 US military rank e7 is an immediate successor attribute of US military rank e8
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60931-60931 US military rank e7 is an immediate successor attribute of US military rank e8
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60930-60930 US military rank e7 is an immediate successor attribute of US military rank e8


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