|
|
   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 8657-8657 | |
| (externalImage PitchersMound "http://upload.wikimedia.org/wikipedia/commons/ 7/ 73/ Baseball_pitch_release.jpg") | pictureList.kif 9550-9550 | |
| (subclass PitchersMound GameArtifact) | Sports.kif 658-658 | PitchersMound は GameArtifact の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PitchersMound "投手丘") | domainEnglishFormat.kif 45956-45956 | |
| (termFormat ChineseTraditionalLanguage PitchersMound "投手丘") | domainEnglishFormat.kif 45955-45955 | |
| (termFormat EnglishLanguage PitchersMound "pitchers mound") | domainEnglishFormat.kif 45954-45954 |
| consequent |
|
|
| (=> (and (instance ?G Baseball) (instance ?P Pitching) (subProcess ?P ?G)) (exists (?M) (and (instance ?M PitchersMound) (origin ?P ?M)))) |
Sports.kif 662-670 |
|
|
|
