| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7535-7535 | 子類 團隊運動 and Sport |
| 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 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 122-122 | 子類 Handball 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 128-128 | 子類 Dodgeball 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 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. | 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 807-807 | 子類 美式足球赛 and 團隊運動 |
|
|