No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17018-17018 | Game shot is a subclass of impelling |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17019-17019 | 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 17043-17043 | Score is a subclass of game shot |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17064-17064 | Sport serve is a subclass of game shot |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17090-17090 | Pitching is a subclass of game shot |