| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17007-17007 | 子類 球 and 遊戲片 |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 311-311 | 子類 英式足球 and 球 |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 325-325 | 子類 GolfBall and 球 |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 345-345 | 子類 VolleyBall and 球 |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 346-346 | 子類 BasketBall and 球 |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 347-347 | 子類 TennisBall and 球 |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1120-1120 | 子類 BowlingBall and 球 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17014-17014 | 子類 射球 and 球 |
|
|