No TPTP formula. May not be expressible in strict first order. |
Military.kif 271-271 |
子類 委任軍官級別 and 軍銜 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 266-266 |
子類 士兵軍銜 and 軍銜 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 255-255 |
子類 美國軍銜 and 軍銜 |
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 |
|