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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - USMilitaryRankE9special
USMilitaryRankE9special(US military rank e9special)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 473-475
No TPTP formula. May not be expressible in strict first order. Military.kif 471-471 US military rank e9special is an instance of seniorNCO rank
No TPTP formula. May not be expressible in strict first order. Military.kif 470-470 US military rank e9special is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 472-472 US military rank e9special is a subattribute of soldier

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


No TPTP formula. May not be expressible in strict first order. Military.kif 469-469 US military rank e9 is an immediate successor attribute of US military rank e9special
No TPTP formula. May not be expressible in strict first order. Military.kif 477-477
No TPTP formula. May not be expressible in strict first order. Military.kif 476-476
No TPTP formula. May not be expressible in strict first order. Military.kif 480-480
No TPTP formula. May not be expressible in strict first order. Military.kif 479-479
No TPTP formula. May not be expressible in strict first order. Military.kif 478-478
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60950-60950
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60949-60949
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60948-60948


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