| BaseballHit | |
| appearance as argument number 1 |
|
|
| (documentation BaseballHit EnglishLanguage "Any base hit in Baseball.") | Sports.kif 586-586 | |
| (subclass BaseballHit BaseballManeuver) | Sports.kif 585-585 | subclass BaseballHit and BaseballManeuver |
| (subclass BaseballHit GameShot) | Sports.kif 584-584 | subclass BaseballHit and GameShot |
| appearance as argument number 2 |
|
|
| (disjoint BaseballSteal BaseballHit) | Sports.kif 626-626 | disjoint BaseballSteal and BaseballHit |
| (disjoint BaseballStrike BaseballHit) | Sports.kif 634-634 | disjoint BaseballStrike and BaseballHit |
| (disjoint BaseballWalk BaseballHit) | Sports.kif 582-582 | disjoint BaseballWalk and BaseballHit |
| (subclass BaseballRun BaseballHit) | Sports.kif 588-588 | subclass BaseballRun and BaseballHit |
| (subclass BaseballSingle BaseballHit) | Sports.kif 620-620 | subclass BaseballSingle and BaseballHit |
| (termFormat ChineseLanguage BaseballHit "棒球击中") | domainEnglishFormat.kif 10057-10057 | |
| (termFormat ChineseTraditionalLanguage BaseballHit "棒球擊中") | domainEnglishFormat.kif 10056-10056 | |
| (termFormat EnglishLanguage BaseballHit "baseball hit") | domainEnglishFormat.kif 10055-10055 |
| consequent |
|
|
| (=> (instance ?B BaseballBat) (hasPurpose ?B (exists (?H) (and (instance ?H BaseballHit) (instrument ?H ?B))))) |
Sports.kif 526-532 |
|
|
|
|