![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
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 349-359 | 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 348-348 | Commissioned officer rank is a subclass of military rank |
appearance as argument number 2 |
![]() |
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 724-724 | US military rankW o3 is an instance of commissioned officer rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 734-734 | US military rankW o4 is an instance of commissioned officer rank |
No TPTP formula. May not be expressible in strict first order. | Military.kif 744-744 | US military rankW o5 is an instance of commissioned officer rank |
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 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 402-402 | Field grade officer rank is a subclass of commissioned officer rank |
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 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 682-682 | US warrant officer rank is a subclass of commissioned officer rank |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15903-15903 | US warrant officer rank is a subclass of commissioned officer rank |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15902-15902 | US warrant officer rank is a subclass of commissioned officer rank |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15901-15901 | US warrant officer rank is a subclass of commissioned officer rank |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Military.kif 363-374 |
|
![]() |
![]() |