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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - USMilitaryRankWO4
USMilitaryRankWO4(US military rankW o4)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 657-657 US military rankW o4 is an instance of commissioned officer rank
No TPTP formula. May not be expressible in strict first order. Military.kif 656-656 US military rankW o4 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 655-655 US military rankW o4 is an instance of US warrant officer rank
No TPTP formula. May not be expressible in strict first order. Military.kif 658-658 US military rankW o4 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order. Military.kif 664-664 US military rankW o4 is an immediate successor attribute of US military rankW o5

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


No TPTP formula. May not be expressible in strict first order. Military.kif 654-654 US military rankW o3 is an immediate successor attribute of US military rankW o4
No TPTP formula. May not be expressible in strict first order. Military.kif 659-659
No TPTP formula. May not be expressible in strict first order. Military.kif 662-662
No TPTP formula. May not be expressible in strict first order. Military.kif 660-660
No TPTP formula. May not be expressible in strict first order. Military.kif 661-661
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61006-61006
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61005-61005
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61004-61004


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