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 | BaseballTeam est une sous-classe de SportsTeam |
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 |