BaseballManeuver - Sigma Knowledge base Browser

appearance as argument number 1

(subclass BaseballManeuver Maneuver)	Sports.kif 710-710	Baseball maneuver is a subclass of maneuver
(documentation BaseballManeuver EnglishLanguage "Any Maneuver in Baseball.")	Sports.kif 711-711	Baseball maneuver is a subclass of maneuver

appearance as argument number 2

(subclass BaseballWalk BaseballManeuver)	Sports.kif 719-719	Baseball walk is a subclass of baseball maneuver
(subclass BaseballHit BaseballManeuver)	Sports.kif 725-725	Baseball hit is a subclass of baseball maneuver
(subclass BaseballSteal BaseballManeuver)	Sports.kif 764-764	Baseball steal is a subclass of baseball maneuver
(subclass BaseballStrike BaseballManeuver)	Sports.kif 773-773	Baseball strike is a subclass of baseball maneuver
(termFormat EnglishLanguage BaseballManeuver "baseball maneuver")	domainEnglishFormat.kif 10054-10054	Baseball strike is a subclass of baseball maneuver
(termFormat ChineseTraditionalLanguage BaseballManeuver "棒球演練")	domainEnglishFormat.kif 10055-10055	Baseball strike is a subclass of baseball maneuver
(termFormat ChineseLanguage BaseballManeuver "棒球演练")	domainEnglishFormat.kif 10056-10056	Baseball strike is a subclass of baseball maneuver

antecedent

(=>
    (instance ?M BaseballManeuver)
    (exists (?B)
        (and
            (instance ?B Baseball)
            (subProcess ?M ?B))))

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