No TPTP formula. May not be expressible in strict first order. |
Military.kif 734-734 |
美國軍銜o5 是 營 的 command 梯隊等級 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 522-522 |
繼承屬性 美國軍銜o4 and 美國軍銜o5 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 530-530 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 529-529 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 527-527 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 526-526 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 528-528 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60988-60988 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60987-60987 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60986-60986 |
|