| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17008-17008 | Ball is a subclass of game piece |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 311-311 | Soccer ball is a subclass of ball |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 325-325 | Golf ball is a subclass of ball |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 345-345 | Volley ball is a subclass of ball |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 346-346 | Basket ball is a subclass of ball |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 347-347 | Tennis ball is a subclass of ball |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1119-1119 | Bowling ball is a subclass of ball |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17015-17015 | Shot ball is a subclass of ball |
|
|