|
|
   PitchersMound
|
|
|
| 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 545-546 | |
| (externalImage PitchersMound "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Baseball_pitching_motion_2004.jpg") | pictureList.kif 8662-8662 | |
| (externalImage PitchersMound "http://upload.wikimedia.org/wikipedia/commons/ 7/ 73/ Baseball_pitch_release.jpg") | pictureList.kif 9568-9568 | |
| (subclass PitchersMound GameArtifact) | Sports.kif 544-544 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PitchersMound "投手丘") | domainEnglishFormat.kif 45937-45937 | |
| (termFormat ChineseTraditionalLanguage PitchersMound "投手丘") | domainEnglishFormat.kif 45936-45936 | |
| (termFormat EnglishLanguage PitchersMound "pitchers mound") | domainEnglishFormat.kif 45935-45935 |
| consequent |
|
|
| (=> (and (instance ?G Baseball) (instance ?P Pitching) (subProcess ?P ?G)) (exists (?M) (and (instance ?M PitchersMound) (origin ?P ?M)))) |
Sports.kif 548-556 |
|
|
|
