No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17007-17007 | 球 是 游戏片 的 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 1120-1120 | BowlingBall 是 球 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17014-17014 | 射球 是 球 的 subclass |