| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17007-17007 | Ball est une sous-classe de GamePiece |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 311-311 | SoccerBall est une sous-classe de Ball |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 325-325 | GolfBall est une sous-classe de Ball |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 345-345 | VolleyBall est une sous-classe de Ball |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 346-346 | BasketBall est une sous-classe de Ball |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 347-347 | TennisBall est une sous-classe de Ball |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1120-1120 | BowlingBall est une sous-classe de Ball |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17014-17014 | ShotBall est une sous-classe de Ball |
|
|