No TPTP formula. May not be expressible in strict first order. |
Sports.kif 604-604 |
棒球 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 768-768 |
篮球 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 93-93 |
Cricket 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 128-128 |
Dodgeball 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 807-807 |
美式足球赛 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 122-122 |
Handball 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 118-118 |
Hockey 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 120-120 |
IceHockey 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 153-153 |
Netball 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 124-124 |
Rugby 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 156-156 |
英式足球比赛 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 241-241 |
Volleyball 是 团队运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57173-57173 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57172-57172 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57171-57171 |
|