| BaseballBat
| |
| appearance as argument number 1 |
|
|
| (documentation BaseballBat EnglishLanguage "A bat which is used to hit the ball in Baseball.") | Sports.kif 524-525 | |
| (externalImage BaseballBat "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ recreation/ sports/ baseball/ baseball_bat.png") | pictureList.kif 262-262 | |
| (subclass BaseballBat GameArtifact) | Sports.kif 523-523 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BaseballBat "棒球棒") | domainEnglishFormat.kif 10043-10043 | |
| (termFormat ChineseTraditionalLanguage BaseballBat "棒球棒") | domainEnglishFormat.kif 10042-10042 | |
| (termFormat EnglishLanguage BaseballBat "baseball bat") | domainEnglishFormat.kif 10041-10041 |
| antecedent |
|
|
| (=> (instance ?B BaseballBat) (hasPurpose ?B (exists (?H) (and (instance ?H BaseballHit) (instrument ?H ?B))))) |
Sports.kif 526-532 |
|
|
|