| BaseballSteal(baseball steal) | | steal |
| appearance as argument number 1 |
|
|
| (disjoint BaseballSteal BaseballHit) | Sports.kif 740-740 | Baseball steal is disjoint from baseball hit |
| (disjoint BaseballSteal BaseballWalk) | Sports.kif 739-739 | Baseball steal is disjoint from baseball walk |
| (documentation BaseballSteal EnglishLanguage "Any move from one base to another which is neither a BaseballWalk nor a BaseballHit.") | Sports.kif 741-742 | Baseball steal is disjoint from baseball walk |
| (subclass BaseballSteal BaseballManeuver) | Sports.kif 738-738 | Baseball steal is a subclass of baseball maneuver |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BaseballSteal "棒球偷") | domainEnglishFormat.kif 10082-10082 | |
| (termFormat ChineseTraditionalLanguage BaseballSteal "棒球偷") | domainEnglishFormat.kif 10081-10081 | |
| (termFormat EnglishLanguage BaseballSteal "baseball steal") | domainEnglishFormat.kif 10080-10080 |
|
|
|