| 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 18479-18480 | |
| (subclass Pitching GameShot) | Mid-level-ontology.kif 18478-18478 | |
| (subclass Pitching Throwing) | Mid-level-ontology.kif 18477-18477 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Pitching "铺地石") | domainEnglishFormat.kif 45962-45962 | |
| (termFormat ChineseTraditionalLanguage Pitching "鋪地石") | domainEnglishFormat.kif 45961-45961 | |
| (termFormat EnglishLanguage Pitching "pitching") | domainEnglishFormat.kif 45960-45960 |
| antecedent |
|
|
| (=> (and (instance ?G Baseball) (instance ?P Pitching) (subProcess ?P ?G)) (exists (?M) (and (instance ?M PitchersMound) (origin ?P ?M)))) |
Sports.kif 674-682 | |
| (=> (and (instance ?PITCH Pitching) (patient ?PITCH ?BALL)) (instance ?BALL Ball)) |
Mid-level-ontology.kif 18482-18486 |
|
|
|