Baseball(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 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 | Baseball is a subclass of team sport |
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 |