| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17018-17018 | GameShot e' uma sub-classe de Propulsionar |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17019-17019 | GameShot e' uma sub-classe de Manobra |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 698-698 | BaseballHit e' uma sub-classe de GameShot |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 948-948 | GolfDrive e' uma sub-classe de GameShot |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 954-954 | GolfPutt e' uma sub-classe de GameShot |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17043-17043 | Score e' uma sub-classe de GameShot |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17064-17064 | SportServe e' uma sub-classe de GameShot |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17090-17090 | Pitching e' uma sub-classe de GameShot |
|
|