| BaseballBat
| |
| appearance as argument number 1 |
|
|
| (documentation BaseballBat EnglishLanguage "A bat which is used to hit the ball in Baseball.") | Sports.kif 650-651 | |
| (externalImage BaseballBat "http://articulatesoftware.com/SUMOpictures/recreation/ sports/ baseball/ baseball_bat.png") | pictureList.kif 262-262 | |
| (subclass BaseballBat GameArtifact) | Sports.kif 649-649 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BaseballBat "棒球棒") | domainEnglishFormat.kif 10027-10027 | |
| (termFormat ChineseTraditionalLanguage BaseballBat "棒球棒") | domainEnglishFormat.kif 10026-10026 | |
| (termFormat EnglishLanguage BaseballBat "baseball bat") | domainEnglishFormat.kif 10025-10025 |
| antecedent |
|
|
| (=> (instance ?B BaseballBat) (hasPurpose ?B (exists (?H) (and (instance ?H BaseballHit) (instrument ?H ?B))))) |
Sports.kif 652-658 |
|
|
|