| Baseball
| | World_Series, ball, baseball, baseball_game, hardball, professional_baseball |
| appearance as argument number 1 |
|
|
| (documentation Baseball EnglishLanguage "A TeamSport which involves two teams of 9 players each that take turns at bat and attempt to score runs. Note that each instance of Baseball is a baseball game.") | Sports.kif 491-493 | |
| (externalImage Baseball "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ recreation/ sports/ baseball/ BaseBall_22.png") | pictureList.kif 261-261 | |
| (subclass Baseball TeamSport) | Sports.kif 490-490 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Baseball "baseball") | domainEnglishFormat.kif 2104-2104 |
| antecedent |
|
|
| (=> (and (instance ?G Baseball) (instance ?P Pitching) (subProcess ?P ?G)) (exists (?M) (and (instance ?M PitchersMound) (origin ?P ?M)))) |
Sports.kif 548-556 |
| consequent |
|
|
| (=> (attribute ?ATHLETE BaseballPlayer) (hasSkill Baseball ?ATHLETE)) |
Sports.kif 278-280 | |
| (=> (instance ?B BaseballBase) (hasPurpose ?B (exists (?G) (and (instance ?G Baseball) (patient ?G ?B))))) |
Sports.kif 499-505 | |
| (=> (instance ?F BaseballField) (hasPurpose ?F (exists (?S) (and (instance ?S Baseball) (eventLocated ?S ?F))))) |
Sports.kif 562-568 | |
| (=> (instance ?INNING BaseballInning) (exists (?GAME) (and (instance ?GAME Baseball) (subProcess ?INNING ?GAME)))) |
Sports.kif 647-652 | |
| (=> (instance ?M BaseballManeuver) (exists (?B) (and (instance ?B Baseball) (subProcess ?M ?B)))) |
Sports.kif 572-577 | |
| (=> (instance ?TEAM BaseballTeam) (capability Baseball agent ?TEAM)) |
Sports.kif 639-641 |
|
|
|