|
|
   BaseballHit
|
|
|
| appearance as argument number 1 |
|
|
| (documentation BaseballHit EnglishLanguage "Any base hit in Baseball.") | Sports.kif 700-700 | |
| (subclass BaseballHit BaseballManeuver) | Sports.kif 699-699 | 棒球击中 是 棒球演练 的 subclass |
| (subclass BaseballHit GameShot) | Sports.kif 698-698 | 棒球击中 是 游戏镜头 的 subclass |
| appearance as argument number 2 |
|
|
| (disjoint BaseballSteal BaseballHit) | Sports.kif 740-740 | 棒球偷 和 % 2 是 disjoint |
| (disjoint BaseballStrike BaseballHit) | Sports.kif 748-748 | 棒球罢工 和 % 2 是 disjoint |
| (disjoint BaseballWalk BaseballHit) | Sports.kif 696-696 | 棒球步行 和 % 2 是 disjoint |
| (subclass BaseballRun BaseballHit) | Sports.kif 702-702 | 棒球跑 是 棒球击中 的 subclass |
| (subclass BaseballSingle BaseballHit) | Sports.kif 734-734 | 棒球单身 是 棒球击中 的 subclass |
| (termFormat ChineseLanguage BaseballHit "棒球击中") | domainEnglishFormat.kif 10044-10044 | |
| (termFormat ChineseTraditionalLanguage BaseballHit "棒球擊中") | domainEnglishFormat.kif 10043-10043 | |
| (termFormat EnglishLanguage BaseballHit "baseball hit") | domainEnglishFormat.kif 10042-10042 |
| consequent |
|
|
| (=> (instance ?B BaseballBat) (hasPurpose ?B (exists (?H) (and (instance ?H BaseballHit) (instrument ?H ?B))))) |
Sports.kif 640-646 |
|
|
|