| 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 758-759 | |
| (subclass BaseballInning Maneuver) | Sports.kif 757-757 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BaseballInning "棒球局") | domainEnglishFormat.kif 10050-10050 | |
| (termFormat ChineseTraditionalLanguage BaseballInning "棒球局") | domainEnglishFormat.kif 10049-10049 | |
| (termFormat EnglishLanguage BaseballInning "baseball inning") | domainEnglishFormat.kif 10048-10048 |
| antecedent |
|
|
| (=> (instance ?INNING BaseballInning) (exists (?GAME) (and (instance ?GAME Baseball) (subProcess ?INNING ?GAME)))) |
Sports.kif 761-766 |
|
|
|