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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PitchersMound

Sigma KEE - PitchersMound
PitchersMound(pitchers mound)

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 659-660
(externalImage PitchersMound "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Baseball_pitching_motion_2004.jpg") pictureList.kif 8657-8657
(externalImage PitchersMound "http://upload.wikimedia.org/wikipedia/commons/ 7/ 73/ Baseball_pitch_release.jpg") pictureList.kif 9550-9550
(subclass PitchersMound GameArtifact) Sports.kif 658-658 Pitchers mound is a subclass of game artifact

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


(termFormat ChineseLanguage PitchersMound "投手丘") domainEnglishFormat.kif 45954-45954
(termFormat ChineseTraditionalLanguage PitchersMound "投手丘") domainEnglishFormat.kif 45953-45953
(termFormat EnglishLanguage PitchersMound "pitchers mound") domainEnglishFormat.kif 45952-45952

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


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


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners