| BaseballStrike(baseball strike) | | strike |
| appearance as argument number 1 |
|
|
| (disjoint BaseballStrike BaseballHit) | Sports.kif 760-760 | 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 757-758 | Baseball strike is disjoint from baseball hit |
| (subclass BaseballStrike BaseballManeuver) | Sports.kif 759-759 | Baseball strike is a subclass of baseball maneuver |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BaseballStrike "棒球罢工") | domainEnglishFormat.kif 10081-10081 | |
| (termFormat ChineseTraditionalLanguage BaseballStrike "棒球罷工") | domainEnglishFormat.kif 10080-10080 | |
| (termFormat EnglishLanguage BaseballStrike "baseball strike") | domainEnglishFormat.kif 10079-10079 |
|
|
|