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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 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 3.0 is open source software produced by Articulate Software and its partners