No TPTP formula. May not be expressible in strict first order. |
Military.kif 634-634 |
繼承屬性 美國軍銜o and 美國軍銜o2 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 639-639 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 642-642 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 640-640 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 641-641 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61028-61028 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61027-61027 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61026-61026 |
|