No TPTP formula. May not be expressible in strict first order. |
Military.kif 239-239 |
同盟军士兵 是 美国内战士兵 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 241-241 |
工会士兵 是 美国内战士兵 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60806-60806 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60805-60805 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60804-60804 |
|