TreeView Knowledge Base Browser

appearance as argument number 1

(subclass PitchersMound GameArtifact)	Sports.kif 684-684	Pitchers mound is a subclass of game artifact
(documentation PitchersMound EnglishLanguage "The place where the pitcher in Baseball stands when he is throwing balls to the batter.")	Sports.kif 685-686	Pitchers mound is a subclass of game artifact
(defaultMinimumMeasure PitchersMound (MeasureFn 16 SquareYard))	DimensioningAmenities.kif 885-885	The minimum expected value of pitchers mound is 16 square yard(s)
(defaultMaximumMeasure PitchersMound (MeasureFn 29 SquareYard))	DimensioningAmenities.kif 886-886	The maximum expected value of pitchers mound is 29 square yard(s)
(externalImage PitchersMound "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Baseball_pitching_motion_2004.jpg")	pictureList.kif 8656-8656	The maximum expected value of pitchers mound is 29 square yard(s)
(externalImage PitchersMound "http://upload.wikimedia.org/wikipedia/commons/ 7/ 73/ Baseball_pitch_release.jpg")	pictureList.kif 9549-9549	The maximum expected value of pitchers mound is 29 square yard(s)

appearance as argument number 2

(termFormat EnglishLanguage PitchersMound "pitchers mound")	domainEnglishFormat.kif 45947-45947
(termFormat ChineseTraditionalLanguage PitchersMound "投手丘")	domainEnglishFormat.kif 45948-45948
(termFormat ChineseLanguage PitchersMound "投手丘")	domainEnglishFormat.kif 45949-45949

consequent

(=>
    (and
        (instance ?G Baseball)
        (instance ?P Pitching)
        (subProcess ?P ?G))
    (exists (?M)
        (and
            (instance ?M PitchersMound)
            (origin ?P ?M))))

If X is an instance of baseball, Y is an instance of pitching, and Y is a subprocess of X, then there exists Z such that Z is an instance of pitchers mound and Y originates at Z