No TPTP formula. May not be expressible in strict first order. |
Sports.kif 740-740 |
Baseball steal is disjoint from baseball hit |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 748-748 |
Baseball strike is disjoint from baseball hit |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 696-696 |
Baseball walk is disjoint from baseball hit |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 702-702 |
Baseball run is a subclass of baseball hit |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 734-734 |
Baseball single is a subclass of baseball hit |
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 |
|