Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PitchersMound
PitchersMound

appearance as argument number 1
-------------------------


(documentation PitchersMound EnglishLanguage "The place where the pitcher in Baseball stands when he is throwing balls to the batter.") Sports.kif 545-546
(externalImage PitchersMound "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Baseball_pitching_motion_2004.jpg") pictureList.kif 8662-8662
(externalImage PitchersMound "http://upload.wikimedia.org/wikipedia/commons/ 7/ 73/ Baseball_pitch_release.jpg") pictureList.kif 9568-9568
(subclass PitchersMound GameArtifact) Sports.kif 544-544

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage PitchersMound "投手丘") domainEnglishFormat.kif 45853-45853
(termFormat ChineseTraditionalLanguage PitchersMound "投手丘") domainEnglishFormat.kif 45852-45852
(termFormat EnglishLanguage PitchersMound "pitchers mound") domainEnglishFormat.kif 45851-45851

consequent
-------------------------


(=>
    (and
        (instance ?G Baseball)
        (instance ?P Pitching)
        (subProcess ?P ?G))
    (exists (?M)
        (and
            (instance ?M PitchersMound)
            (origin ?P ?M))))
Sports.kif 548-556


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners