BaseballHit | ![]() |
appearance as argument number 1 |
![]() |
(documentation BaseballHit EnglishLanguage "Any base hit in Baseball.") | Sports.kif 712-712 | |
(subclass BaseballHit BaseballManeuver) | Sports.kif 711-711 | BaseballHit は BaseballManeuver の subclass では |
(subclass BaseballHit GameShot) | Sports.kif 710-710 | BaseballHit は GameShot の subclass では |
appearance as argument number 2 |
![]() |
(disjoint BaseballSteal BaseballHit) | Sports.kif 752-752 | BaseballSteal と BaseballHit は disjoint では |
(disjoint BaseballStrike BaseballHit) | Sports.kif 760-760 | BaseballStrike と BaseballHit は disjoint では |
(disjoint BaseballWalk BaseballHit) | Sports.kif 708-708 | BaseballWalk と BaseballHit は disjoint では |
(subclass BaseballRun BaseballHit) | Sports.kif 714-714 | BaseballRun は BaseballHit の subclass では |
(subclass BaseballSingle BaseballHit) | Sports.kif 746-746 | BaseballSingle は BaseballHit の subclass では |
(termFormat ChineseLanguage BaseballHit "棒球击中") | domainEnglishFormat.kif 10045-10045 | BaseballSingle は BaseballHit の subclass では |
(termFormat ChineseTraditionalLanguage BaseballHit "棒球擊中") | domainEnglishFormat.kif 10044-10044 | BaseballSingle は BaseballHit の subclass では |
(termFormat EnglishLanguage BaseballHit "baseball hit") | domainEnglishFormat.kif 10043-10043 | BaseballSingle は BaseballHit の subclass では |
consequent |
![]() |
(=> (instance ?B BaseballBat) (hasPurpose ?B (exists (?H) (and (instance ?H BaseballHit) (instrument ?H ?B))))) |
Sports.kif 652-658 |
|
![]() |
![]() |