coaches |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 538-539 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 536-536 | 域 coaches, 1 and Human |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 537-537 | 域 coaches, 2 and Human |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 535-535 | 例 coaches and BinaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3014-3014 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3013-3013 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3012-3012 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 540-540 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 541-551 |