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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - USMilitaryRankWO2
USMilitaryRankWO2(US military rankW o2)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 714-714 US military rankW o2 is an instance of commissioned officer rank
No TPTP formula. May not be expressible in strict first order. Military.kif 713-713 US military rankW o2 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 712-712 US military rankW o2 is an instance of US warrant officer rank
No TPTP formula. May not be expressible in strict first order. Military.kif 715-715 US military rankW o2 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order. Military.kif 721-721 US military rankW o2 is an immediate successor attribute of US military rankW o3

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


No TPTP formula. May not be expressible in strict first order. Military.kif 711-711 US military rankW o1 is an immediate successor attribute of US military rankW o2
No TPTP formula. May not be expressible in strict first order. Military.kif 716-716 US military rankW o1 is an immediate successor attribute of US military rankW o2
No TPTP formula. May not be expressible in strict first order. Military.kif 719-719 US military rankW o1 is an immediate successor attribute of US military rankW o2
No TPTP formula. May not be expressible in strict first order. Military.kif 717-717 US military rankW o1 is an immediate successor attribute of US military rankW o2
No TPTP formula. May not be expressible in strict first order. Military.kif 718-718 US military rankW o1 is an immediate successor attribute of US military rankW o2
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61022-61022 US military rankW o1 is an immediate successor attribute of US military rankW o2
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61021-61021 US military rankW o1 is an immediate successor attribute of US military rankW o2
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61020-61020 US military rankW o1 is an immediate successor attribute of US military rankW o2


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