| BaseballStrike(baseball strike) | | strike |
| appearance as argument number 1 |
|
|
| (disjoint BaseballStrike BaseballHit) | Sports.kif 748-748 | Baseball strike is disjoint from baseball hit |
| (documentation BaseballStrike EnglishLanguage "A baseball pitch that is in the strike zone and that is not hit by the batter.") | Sports.kif 745-746 | Baseball strike is disjoint from baseball hit |
| (subclass BaseballStrike BaseballManeuver) | Sports.kif 747-747 | Baseball strike is a subclass of baseball maneuver |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BaseballStrike "棒球罢工") | domainEnglishFormat.kif 10088-10088 | |
| (termFormat ChineseTraditionalLanguage BaseballStrike "棒球罷工") | domainEnglishFormat.kif 10087-10087 | |
| (termFormat EnglishLanguage BaseballStrike "baseball strike") | domainEnglishFormat.kif 10086-10086 |
|
|
|