| BaseballInning(baseball inning) | | frame, inning |
| appearance as argument number 1 |
|
|
| (documentation BaseballInning EnglishLanguage "A division of a Baseball game. A normal game consists of 9 innings, and each inning involves a turn a bat for both teams.") | Sports.kif 758-759 | |
| (subclass BaseballInning Maneuver) | Sports.kif 757-757 | Baseball inning is a subclass of maneuver |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BaseballInning "棒球局") | domainEnglishFormat.kif 10058-10058 | |
| (termFormat ChineseTraditionalLanguage BaseballInning "棒球局") | domainEnglishFormat.kif 10057-10057 | |
| (termFormat EnglishLanguage BaseballInning "baseball inning") | domainEnglishFormat.kif 10056-10056 |
| antecedent |
|
|
| (=> (instance ?INNING BaseballInning) (exists (?GAME) (and (instance ?GAME Baseball) (subProcess ?INNING ?GAME)))) |
Sports.kif 761-766 |
|
|
|
|