| No TPTP formula. May not be expressible in strict first order. |
Military.kif 637-637 |
例 美國軍銜o2 and 委任軍官級別 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 647-647 |
例 美軍軍銜W3 and 委任軍官級別 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 657-657 |
例 美軍軍銜o4 and 委任軍官級別 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 667-667 |
例 美軍軍銜o5 and 委任軍官級別 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 331-331 |
子類 公司等級排名 and 委任軍官級別 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 325-325 |
子類 現場等級軍官等級 and 委任軍官級別 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 319-319 |
子類 國旗官員級別 and 委任軍官級別 |
| No TPTP formula. May not be expressible in strict first order. |
Military.kif 605-605 |
子類 美國準尉軍銜 and 委任軍官級別 |
| 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 |
|
