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 数量 是 人类 的 instance |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 537-537 | coaches 的 2 数量 是 人类 的 instance |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 535-535 | coaches 是 二元谓语 的 instance |
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 |