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 397-400
No TPTP formula. May not be expressible in strict first order. Military.kif 396-396 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 360-361 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 659-659 US military rank o10 is an instance of flag officer rank
No TPTP formula. May not be expressible in strict first order. Military.kif 620-620 US military rank o7 is an instance of flag officer rank
No TPTP formula. May not be expressible in strict first order. Military.kif 633-633 US military rank o8 is an instance of flag officer rank
No TPTP formula. May not be expressible in strict first order. Military.kif 646-646 US military rank o9 is an instance of flag officer rank
No TPTP formula. May not be expressible in strict first order. Military.kif 672-672 US military rank special is an instance of flag officer rank
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24163-24163 US military rank special is an instance of flag officer rank
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24162-24162 US military rank special is an instance of flag officer rank
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24161-24161 US military rank special is an instance of flag officer rank


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