No TPTP formula. May not be expressible in strict first order. |
Military.kif 513-513 |
例 美國軍銜o4 and 現場等級軍官等級 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 523-523 |
例 美國軍銜o5 and 現場等級軍官等級 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 533-533 |
例 美國軍銜o6 and 現場等級軍官等級 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23624-23624 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23623-23623 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23622-23622 |
|