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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BaseballStrike

Sigma KEE - BaseballStrike
BaseballStrike(棒球罢工)

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


(disjoint BaseballStrike BaseballHit) Sports.kif 748-748 棒球罢工 和 % 2 是 disjoint
(documentation BaseballStrike EnglishLanguage "A baseball pitch that is in the strike zone and that is not hit by the batter.") Sports.kif 745-746
(subclass BaseballStrike BaseballManeuver) Sports.kif 747-747 棒球罢工棒球演练subclass

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


(termFormat ChineseLanguage BaseballStrike "棒球罢工") domainEnglishFormat.kif 10080-10080
(termFormat ChineseTraditionalLanguage BaseballStrike "棒球罷工") domainEnglishFormat.kif 10079-10079
(termFormat EnglishLanguage BaseballStrike "baseball strike") domainEnglishFormat.kif 10078-10078


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