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 | The number 1 argument of coaches is an instance of human |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 537-537 | The number 2 argument of coaches is an instance of human |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 535-535 | coaches is an instance of binary predicate |
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 |
|