| 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 659-660 | |
| (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 658-658 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PitchersMound "投手丘") | domainEnglishFormat.kif 45987-45987 | |
| (termFormat ChineseTraditionalLanguage PitchersMound "投手丘") | domainEnglishFormat.kif 45986-45986 | |
| (termFormat EnglishLanguage PitchersMound "pitchers mound") | domainEnglishFormat.kif 45985-45985 |
| consequent |
|
|
| (=> (and (instance ?G Baseball) (instance ?P Pitching) (subProcess ?P ?G)) (exists (?M) (and (instance ?M PitchersMound) (origin ?P ?M)))) |
Sports.kif 662-670 |
|
|
|