| BaseballSteal(baseball steal) | | steal |
| appearance as argument number 1 |
|
|
| (disjoint BaseballSteal BaseballHit) | Sports.kif 752-752 | Baseball steal is disjoint from baseball hit |
| (disjoint BaseballSteal BaseballWalk) | Sports.kif 751-751 | 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 753-754 | Baseball steal is disjoint from baseball walk |
| (subclass BaseballSteal BaseballManeuver) | Sports.kif 750-750 | Baseball steal is a subclass of baseball maneuver |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BaseballSteal "棒球偷") | domainEnglishFormat.kif 10081-10081 | |
| (termFormat ChineseTraditionalLanguage BaseballSteal "棒球偷") | domainEnglishFormat.kif 10080-10080 | |
| (termFormat EnglishLanguage BaseballSteal "baseball steal") | domainEnglishFormat.kif 10079-10079 |
|
|
|