Soccer(英式足球比赛) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 157-157 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 156-156 | 英式足球比赛 是 团队运动 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 161-161 | 英式足球比赛 的名 是 "European football" |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 159-159 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 160-160 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 158-158 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 163-175 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 177-182 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 412-414 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 313-321 |