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 | Le nombre 1 argument de coaches est une instance de humain |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 537-537 | Le nombre 2 argument de coaches est une instance de humain |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 535-535 | coaches est une instance de pr�dicat binaire |
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 |