SoccerBall
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 306-306 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 311-311 | 子類 英式足球 and 球 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 308-308 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 309-309 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 307-307 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 313-321 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 177-182 |