| BaseballHit(baseball hit) | | double, pop, three-bagger, three-base_hit, triple, two-bagger, two-base_hit, two-baser |
| appearance as argument number 1 |
|
|
| (documentation BaseballHit EnglishLanguage "Any base hit in Baseball.") | Sports.kif 712-712 | |
| (subclass BaseballHit BaseballManeuver) | Sports.kif 711-711 | Baseball hit is a subclass of baseball maneuver |
| (subclass BaseballHit GameShot) | Sports.kif 710-710 | Baseball hit is a subclass of game shot |
| appearance as argument number 2 |
|
|
| (disjoint BaseballSteal BaseballHit) | Sports.kif 752-752 | Baseball steal is disjoint from baseball hit |
| (disjoint BaseballStrike BaseballHit) | Sports.kif 760-760 | Baseball strike is disjoint from baseball hit |
| (disjoint BaseballWalk BaseballHit) | Sports.kif 708-708 | Baseball walk is disjoint from baseball hit |
| (subclass BaseballRun BaseballHit) | Sports.kif 714-714 | Baseball run is a subclass of baseball hit |
| (subclass BaseballSingle BaseballHit) | Sports.kif 746-746 | Baseball single is a subclass of baseball hit |
| (termFormat ChineseLanguage BaseballHit "棒球击中") | domainEnglishFormat.kif 10045-10045 | Baseball single is a subclass of baseball hit |
| (termFormat ChineseTraditionalLanguage BaseballHit "棒球擊中") | domainEnglishFormat.kif 10044-10044 | Baseball single is a subclass of baseball hit |
| (termFormat EnglishLanguage BaseballHit "baseball hit") | domainEnglishFormat.kif 10043-10043 | Baseball single is a subclass of baseball hit |
| consequent |
|
|
| (=> (instance ?B BaseballBat) (hasPurpose ?B (exists (?H) (and (instance ?H BaseballHit) (instrument ?H ?B))))) |
Sports.kif 652-658 |
|
|
|
|