No TPTP formula. May not be expressible in strict first order. |
Military.kif 424-424 |
例 美國軍銜e7 and 高級NCO排名 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 437-437 |
例 美國軍銜e8 and 高級NCO排名 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 450-450 |
例 美國軍銜e9 and 高級NCO排名 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 471-471 |
例 美國軍銜e9特別 and 高級NCO排名 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52107-52107 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52106-52106 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52105-52105 |
|