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 | Soccer is a subclass of team sport |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 161-161 | Soccer has name "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 |
|