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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FlagOfficerRank
FlagOfficerRank(flag officer rank)flag_officer, general_officer, generalcy, generalship

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


No TPTP formula. May not be expressible in strict first order. Military.kif 320-323
No TPTP formula. May not be expressible in strict first order. Military.kif 319-319 Flag officer rank is a subclass of commissioned officer rank

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


No TPTP formula. May not be expressible in strict first order. Military.kif 283-284 Commissioned officer rank is disjointly decomposed into flag officer rank, field grade officer rank, and company grade rank
No TPTP formula. May not be expressible in strict first order. Military.kif 582-582 US military rank o10 is an instance of flag officer rank
No TPTP formula. May not be expressible in strict first order. Military.kif 543-543 US military rank o7 is an instance of flag officer rank
No TPTP formula. May not be expressible in strict first order. Military.kif 556-556 US military rank o8 is an instance of flag officer rank
No TPTP formula. May not be expressible in strict first order. Military.kif 569-569 US military rank o9 is an instance of flag officer rank
No TPTP formula. May not be expressible in strict first order. Military.kif 595-595 US military rank special is an instance of flag officer rank
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24158-24158
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24157-24157
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24156-24156


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