No TPTP formula. May not be expressible in strict first order. |
Military.kif 239-239 |
子屬性 同盟軍士兵 and 美國內戰士兵 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 241-241 |
子屬性 工會士兵 and 美國內戰士兵 |
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 |
|