| BaseballWalk(baseball walk) | | base_on_balls, pass, walk |
| appearance as argument number 1 |
|
|
| (disjoint BaseballWalk BaseballHit) | Sports.kif 696-696 | Baseball walk is disjoint from baseball hit |
| (documentation BaseballWalk EnglishLanguage "Taking first base after four balls have been called by the umpire.") | Sports.kif 694-695 | Baseball walk is disjoint from baseball hit |
| (subclass BaseballWalk BaseballManeuver) | Sports.kif 693-693 | Baseball walk is a subclass of baseball maneuver |
| appearance as argument number 2 |
|
|
| (disjoint BaseballSteal BaseballWalk) | Sports.kif 739-739 | Baseball steal is disjoint from baseball walk |
| (termFormat ChineseLanguage BaseballWalk "棒球步行") | domainEnglishFormat.kif 10100-10100 | Baseball steal is disjoint from baseball walk |
| (termFormat ChineseTraditionalLanguage BaseballWalk "棒球步行") | domainEnglishFormat.kif 10099-10099 | Baseball steal is disjoint from baseball walk |
| (termFormat EnglishLanguage BaseballWalk "baseball walk") | domainEnglishFormat.kif 10098-10098 | Baseball steal is disjoint from baseball walk |
|
|
|