more pictures...
| HomeBase(home base)
more pictures... | | home, home_base, home_plate, plate |
| appearance as argument number 1 |
|
|
| (documentation HomeBase EnglishLanguage "The final BaseballBase which must be touched by the batter in order to achieve a BaseballRun.") | Sports.kif 622-623 | |
| (externalImage HomeBase "http://upload.wikimedia.org/wikipedia/commons/0/ 03/ Baseball_Missed.jpg") | pictureList.kif 7079-7079 | |
| (externalImage HomeBase "http://upload.wikimedia.org/wikipedia/commons/1/ 14/ Baseball_field_overview.png") | pictureList.kif 6615-6615 | |
| (externalImage HomeBase "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Chase_Utley_Home_Run.jpg") | pictureList.kif 7082-7082 | |
| (externalImage HomeBase "http://upload.wikimedia.org/wikipedia/commons/8/ 85/ Stewart-Baseball_cropped.jpg") | pictureList.kif 7080-7080 | |
| (externalImage HomeBase "http://upload.wikimedia.org/wikipedia/commons/e/ ed/ Utley_Home_Run.jpg") | pictureList.kif 7081-7081 | |
| (subclass HomeBase BaseballBase) | Sports.kif 621-621 | Home base is a subclass of baseball base |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HomeBase "本垒") | domainEnglishFormat.kif 28483-28483 | |
| (termFormat ChineseTraditionalLanguage HomeBase "本壘") | domainEnglishFormat.kif 28482-28482 | |
| (termFormat EnglishLanguage HomeBase "home base") | domainEnglishFormat.kif 28481-28481 |
| consequent |
|
|
| (=> (and (instance ?R BaseballRun) (agent ?R ?A)) (exists (?T ?H) (and (instance ?T Touching) (subProcess ?T ?R) (agent ?T ?A) (patient ?T ?H) (instance ?H HomeBase)))) |
Sports.kif 624-634 |
|
|
|
|