No TPTP formula. May not be expressible in strict first order. |
Sports.kif 740-740 |
BaseballSteal est disjoint de BaseballHit |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 748-748 |
BaseballStrike est disjoint de BaseballHit |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 696-696 |
BaseballWalk est disjoint de BaseballHit |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 702-702 |
BaseballRun est une sous-classe de BaseballHit |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 734-734 |
BaseballSingle est une sous-classe de BaseballHit |
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 |
|