No TPTP formula. May not be expressible in strict first order. |
Sports.kif 740-740 |
不相交的 棒球偷 and 棒球擊中 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 748-748 |
不相交的 棒球罷工 and 棒球擊中 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 696-696 |
不相交的 棒球步行 and 棒球擊中 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 702-702 |
子類 棒球跑 and 棒球擊中 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 734-734 |
子類 棒球單身 and 棒球擊中 |
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 |
|