Pitching(pitching) | delivery, overhand_pitch, passed_ball, pitch, pitching, spitball, spitter |
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 | Pitching is a subclass of game shot |
(subclass Pitching Throwing) | Mid-level-ontology.kif 17308-17308 | Pitching is a subclass of throwing |
appearance as argument number 2 |
(termFormat ChineseLanguage Pitching "铺地石") | domainEnglishFormat.kif 45998-45998 | |
(termFormat ChineseTraditionalLanguage Pitching "鋪地石") | domainEnglishFormat.kif 45997-45997 | |
(termFormat EnglishLanguage Pitching "pitching") | domainEnglishFormat.kif 45996-45996 |
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 |
|