| BaseballInning | |
| 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 770-771 | |
| (subclass BaseballInning Maneuver) | Sports.kif 769-769 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BaseballInning "棒球局") | domainEnglishFormat.kif 10057-10057 | |
| (termFormat ChineseTraditionalLanguage BaseballInning "棒球局") | domainEnglishFormat.kif 10056-10056 | |
| (termFormat EnglishLanguage BaseballInning "baseball inning") | domainEnglishFormat.kif 10055-10055 |
| antecedent |
|
|
| (=> (instance ?INNING BaseballInning) (exists (?GAME) (and (instance ?GAME Baseball) (subProcess ?INNING ?GAME)))) |
Sports.kif 773-778 |
|
|
|