| 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 17119-17120 | |
| (subclass Pitching GameShot) | Mid-level-ontology.kif 17118-17118 | Pitching e' uma sub-classe de GameShot |
| (subclass Pitching Throwing) | Mid-level-ontology.kif 17117-17117 | Pitching e' uma sub-classe de Throwing |
| 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 662-670 | |
| (=> (and (instance ?PITCH Pitching) (patient ?PITCH ?BALL)) (instance ?BALL Ball)) |
Mid-level-ontology.kif 17122-17126 |
|
|
|