No TPTP formula. May not be expressible in strict first order. |
Sports.kif 740-740 |
棒球偷 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 748-748 |
棒球罢工 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 696-696 |
棒球步行 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 702-702 |
棒球跑 是 棒球击中 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 734-734 |
棒球单身 是 棒球击中 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10044-10044 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10043-10043 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10042-10042 |
|