| PitchersMound(pitchers mound)
|
| appearance as argument number 1 |
|
| (documentation PitchersMound EnglishLanguage "The place where the pitcher in Baseball stands when he is throwing balls to the batter.") | Sports.kif 671-672 | |
| (externalImage PitchersMound "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Baseball_pitching_motion_2004.jpg") | pictureList.kif 8656-8656 | |
| (externalImage PitchersMound "http://upload.wikimedia.org/wikipedia/commons/ 7/ 73/ Baseball_pitch_release.jpg") | pictureList.kif 9549-9549 | |
| (subclass PitchersMound GameArtifact) | Sports.kif 670-670 | Pitchers mound is a subclass of game artifact |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PitchersMound "投手丘") | domainEnglishFormat.kif 45985-45985 | |
| (termFormat ChineseTraditionalLanguage PitchersMound "投手丘") | domainEnglishFormat.kif 45984-45984 | |
| (termFormat EnglishLanguage PitchersMound "pitchers mound") | domainEnglishFormat.kif 45983-45983 |
| consequent |
|
|
| (=> (and (instance ?G Baseball) (instance ?P Pitching) (subProcess ?P ?G)) (exists (?M) (and (instance ?M PitchersMound) (origin ?P ?M)))) |
Sports.kif 674-682 |
|
|
|
|