RightHepaticArtery
|
|
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 ist eine teilkategorie von TeamSport |
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 |