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