| 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 605-607 | |
| (externalImage Baseball "http://articulatesoftware.com/SUMOpictures/recreation/ sports/ baseball/ BaseBall_22.png") | pictureList.kif 261-261 | |
| (subclass Baseball TeamSport) | Sports.kif 604-604 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Baseball "棒球") | domainEnglishFormat.kif 10014-10014 | |
| (termFormat ChineseTraditionalLanguage Baseball "棒球") | domainEnglishFormat.kif 10013-10013 | |
| (termFormat EnglishLanguage Baseball "baseball") | domainEnglishFormat.kif 10012-10012 |
| antecedent |
|
|
| (=> (and (instance ?G Baseball) (instance ?P Pitching) (subProcess ?P ?G)) (exists (?M) (and (instance ?M PitchersMound) (origin ?P ?M)))) |
Sports.kif 662-670 |
| consequent |
|
|
| (=> (attribute ?ATHLETE BaseballPlayer) (hasSkill Baseball ?ATHLETE)) |
Sports.kif 392-394 | |
| (=> (instance ?B BaseballBase) (hasPurpose ?B (exists (?G) (and (instance ?G Baseball) (patient ?G ?B))))) |
Sports.kif 613-619 | |
| (=> (instance ?F BaseballField) (hasPurpose ?F (exists (?S) (and (instance ?S Baseball) (eventLocated ?S ?F))))) |
Sports.kif 676-682 | |
| (=> (instance ?INNING BaseballInning) (exists (?GAME) (and (instance ?GAME Baseball) (subProcess ?INNING ?GAME)))) |
Sports.kif 761-766 | |
| (=> (instance ?M BaseballManeuver) (exists (?B) (and (instance ?B Baseball) (subProcess ?M ?B)))) |
Sports.kif 686-691 | |
| (=> (instance ?TEAM BaseballTeam) (capability Baseball agent ?TEAM)) |
Sports.kif 753-755 |
|
|
|