| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17019-17019 | Game shot is a subclass of impelling |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17020-17020 | Game shot is a subclass of maneuver |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 698-698 | Baseball hit is a subclass of game shot |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 948-948 | Golf drive is a subclass of game shot |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 954-954 | Golf put is a subclass of game shot |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17044-17044 | Score is a subclass of game shot |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17065-17065 | Sport serve is a subclass of game shot |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17091-17091 | Pitching is a subclass of game shot |
|
|