Pitching |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17119-17120 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17118-17118 | Pitching est une sous-classe de GameShot |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17117-17117 | Pitching est une sous-classe de Throwing |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45962-45962 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45961-45961 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45960-45960 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 662-670 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17122-17126 |