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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - CompanyGradeRank
CompanyGradeRank(company grade rank)subaltern

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


No TPTP formula. May not be expressible in strict first order. Military.kif 409-415
No TPTP formula. May not be expressible in strict first order. Military.kif 408-408 Company grade 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 560-560 US military rank o1 is an instance of company grade rank
No TPTP formula. May not be expressible in strict first order. Military.kif 570-570 US military rank o2 is an instance of company grade rank
No TPTP formula. May not be expressible in strict first order. Military.kif 580-580 US military rank o3 is an instance of company grade rank
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16143-16143 US military rank o3 is an instance of company grade rank
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16142-16142 US military rank o3 is an instance of company grade rank
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16141-16141 US military rank o3 is an instance of company grade rank

appearance as argument number 4
-------------------------


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


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