No TPTP formula. May not be expressible in strict first order. |
Military.kif 271-271 |
委任军官级别 是 军衔 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 266-266 |
士兵军衔 是 军衔 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 255-255 |
美国军衔 是 军衔 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37703-37703 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37702-37702 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37701-37701 |
|