BaseballInning - Sigma Knowledge base Browser

appearance as argument number 1

(subclass BaseballInning Maneuver)	Sports.kif 783-783	Baseball inning is a subclass of maneuver
(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 784-785	Baseball inning is a subclass of maneuver

appearance as argument number 2

(termFormat EnglishLanguage BaseballInning "baseball inning")	domainEnglishFormat.kif 10048-10048
(termFormat ChineseTraditionalLanguage BaseballInning "棒球局")	domainEnglishFormat.kif 10049-10049
(termFormat ChineseLanguage BaseballInning "棒球局")	domainEnglishFormat.kif 10050-10050

antecedent

(=>
    (instance ?INNING BaseballInning)
    (exists (?GAME)
        (and
            (instance ?GAME Baseball)
            (subProcess ?INNING ?GAME))))

If X is an instance of baseball inning, then there exists Y such that Y is an instance of baseball and X is a subprocess of Y