| No TPTP formula. May not be expressible in strict first order. |
Military.kif 637-637 |
美国军衔o2 是 委任军官级别 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 647-647 |
美军军衔W3 是 委任军官级别 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 657-657 |
美军军衔o4 是 委任军官级别 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 667-667 |
美军军衔o5 是 委任军官级别 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 331-331 |
公司等级排名 是 委任军官级别 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 325-325 |
现场等级军官等级 是 委任军官级别 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 319-319 |
国旗官员级别 是 委任军官级别 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 605-605 |
美国准尉军衔 是 委任军官级别 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15894-15894 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15893-15893 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15892-15892 |
|
