No TPTP formula. May not be expressible in strict first order. |
Sports.kif 604-604 |
子類 棒球 and 團隊運動 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 768-768 |
子類 籃球 and 團隊運動 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 93-93 |
子類 Cricket and 團隊運動 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 128-128 |
子類 Dodgeball and 團隊運動 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 807-807 |
子類 美式足球赛 and 團隊運動 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 122-122 |
子類 Handball and 團隊運動 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 118-118 |
子類 Hockey and 團隊運動 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 120-120 |
子類 IceHockey and 團隊運動 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 153-153 |
子類 Netball and 團隊運動 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 124-124 |
子類 Rugby and 團隊運動 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 156-156 |
子類 英式足球比賽 and 團隊運動 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 241-241 |
子類 Volleyball and 團隊運動 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57171-57171 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57170-57170 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57169-57169 |
|