No TPTP formula. May not be expressible in strict first order. |
Sports.kif 740-740 |
BaseballSteal e' disjunto de BaseballHit |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 748-748 |
BaseballStrike e' disjunto de BaseballHit |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 696-696 |
BaseballWalk e' disjunto de BaseballHit |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 702-702 |
BaseballRun e' uma sub-classe de BaseballHit |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 734-734 |
BaseballSingle e' uma sub-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 |
|