No TPTP formula. May not be expressible in strict first order. |
Military.kif 664-664 |
繼承屬性 美軍軍銜o4 and 美軍軍銜o5 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 669-669 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 670-670 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61048-61048 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61047-61047 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61046-61046 |
|