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 | BaseballHit ist eine teilkategorie von BaseballManeuver |
(subclass BaseballHit GameShot) | Sports.kif 698-698 | BaseballHit ist eine teilkategorie von GameShot |
appearance as argument number 2 |
(disjoint BaseballSteal BaseballHit) | Sports.kif 740-740 | BaseballSteal ist dijunkt von BaseballHit %n{nicht} |
(disjoint BaseballStrike BaseballHit) | Sports.kif 748-748 | BaseballStrike ist dijunkt von BaseballHit %n{nicht} |
(disjoint BaseballWalk BaseballHit) | Sports.kif 696-696 | BaseballWalk ist dijunkt von BaseballHit %n{nicht} |
(subclass BaseballRun BaseballHit) | Sports.kif 702-702 | BaseballRun ist eine teilkategorie von BaseballHit |
(subclass BaseballSingle BaseballHit) | Sports.kif 734-734 | BaseballSingle ist eine teilkategorie von BaseballHit |
(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 |
|