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 17092-17093 | |
(subclass Pitching GameShot) | Mid-level-ontology.kif 17091-17091 | Pitching e' uma sub-classe de GameShot |
(subclass Pitching Throwing) | Mid-level-ontology.kif 17090-17090 | Pitching e' uma sub-classe de Throwing |
appearance as argument number 2 |
(termFormat ChineseLanguage Pitching "铺地石") | domainEnglishFormat.kif 45960-45960 | |
(termFormat ChineseTraditionalLanguage Pitching "鋪地石") | domainEnglishFormat.kif 45959-45959 | |
(termFormat EnglishLanguage Pitching "pitching") | domainEnglishFormat.kif 45958-45958 |
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 17095-17099 |