| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17046-17046 | GameShot est une sous-classe de propulser |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17047-17047 | GameShot est une sous-classe de manoeuvre |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 698-698 | BaseballHit est une sous-classe de GameShot |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 948-948 | GolfDrive est une sous-classe de GameShot |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 954-954 | GolfPutt est une sous-classe de GameShot |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17071-17071 | Score est une sous-classe de GameShot |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17092-17092 | SportServe est une sous-classe de GameShot |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17118-17118 | Pitching est une sous-classe de GameShot |
|
|