| BaseballWalk(棒球步行) | |
| appearance as argument number 1 |
|
|
| (disjoint BaseballWalk BaseballHit) | Sports.kif 708-708 | 棒球步行 和 % 2 是 disjoint |
| (documentation BaseballWalk EnglishLanguage "Taking first base after four balls have been called by the umpire.") | Sports.kif 706-707 | 棒球步行 和 % 2 是 disjoint |
| (subclass BaseballWalk BaseballManeuver) | Sports.kif 705-705 | 棒球步行 是 棒球演练 的 subclass |
| appearance as argument number 2 |
|
|
| (disjoint BaseballSteal BaseballWalk) | Sports.kif 751-751 | 棒球偷 和 % 2 是 disjoint |
| (termFormat ChineseLanguage BaseballWalk "棒球步行") | domainEnglishFormat.kif 10093-10093 | 棒球偷 和 % 2 是 disjoint |
| (termFormat ChineseTraditionalLanguage BaseballWalk "棒球步行") | domainEnglishFormat.kif 10092-10092 | 棒球偷 和 % 2 是 disjoint |
| (termFormat EnglishLanguage BaseballWalk "baseball walk") | domainEnglishFormat.kif 10091-10091 | 棒球偷 和 % 2 是 disjoint |
|
|
|