| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17008-17008 | 球 是 游戏片 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 311-311 | 英式足球 是 球 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 325-325 | GolfBall 是 球 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 345-345 | VolleyBall 是 球 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 346-346 | BasketBall 是 球 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 347-347 | TennisBall 是 球 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1119-1119 | BowlingBall 是 球 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17015-17015 | 射球 是 球 的 subclass |
|
|