| Pitching | |
| appearance as argument number 1 |
|
|
| (documentation Pitching EnglishLanguage "Throwing a Ball to the batter in a game of Baseball or softball.") | Mid-level-ontology.kif 17310-17311 | |
| (subclass Pitching GameShot) | Mid-level-ontology.kif 17309-17309 | |
| (subclass Pitching Throwing) | Mid-level-ontology.kif 17308-17308 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Pitching "铺地石") | domainEnglishFormat.kif 45993-45993 | |
| (termFormat ChineseTraditionalLanguage Pitching "鋪地石") | domainEnglishFormat.kif 45992-45992 | |
| (termFormat EnglishLanguage Pitching "pitching") | domainEnglishFormat.kif 45991-45991 |
| antecedent |
|
|
| (=> (and (instance ?G Baseball) (instance ?P Pitching) (subProcess ?P ?G)) (exists (?M) (and (instance ?M PitchersMound) (origin ?P ?M)))) |
Sports.kif 662-670 | |
| (=> (and (instance ?PITCH Pitching) (patient ?PITCH ?BALL)) (instance ?BALL Ball)) |
Mid-level-ontology.kif 17313-17317 |
|
|
|