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 | O argumento numero 1 de coaches e' uma instancia de Humano |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 537-537 | O argumento numero 2 de coaches e' uma instancia de Humano |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 535-535 | coaches e' uma instancia de Predicado Binario |
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 |
![]() |
![]() |