|
|
   BaseballTeam
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 751-751 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4536-4536 | |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 750-750 | Baseball team is a subclass of sports team |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10086-10086 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10085-10085 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10084-10084 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 753-755 |
|
|
|
|
