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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - USMilitaryRankE9
USMilitaryRankE9(US military rank e9)command_sergeant_major, sergeant_major

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


No TPTP formula. May not be expressible in strict first order. Military.kif 453-460
No TPTP formula. May not be expressible in strict first order. Military.kif 450-450 US military rank e9 is an instance of seniorNCO rank
No TPTP formula. May not be expressible in strict first order. Military.kif 451-451 US military rank e9 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 452-452 US military rank e9 is a subattribute of soldier
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 482-482 US military rank e9 is an immediate successor attribute of US military rank o1

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


No TPTP formula. May not be expressible in strict first order. Military.kif 449-449 US military rank e8 is an immediate successor attribute of US military rank e9
No TPTP formula. May not be expressible in strict first order. Military.kif 462-462
No TPTP formula. May not be expressible in strict first order. Military.kif 461-461
No TPTP formula. May not be expressible in strict first order. Military.kif 463-463
No TPTP formula. May not be expressible in strict first order. Military.kif 467-467
No TPTP formula. May not be expressible in strict first order. Military.kif 466-466
No TPTP formula. May not be expressible in strict first order. Military.kif 464-464
No TPTP formula. May not be expressible in strict first order. Military.kif 465-465
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60944-60944
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60943-60943
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60942-60942


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