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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BaseballStrike
BaseballStrike(baseball strike)strike

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


(disjoint BaseballStrike BaseballHit) Sports.kif 748-748 Baseball strike is disjoint from baseball hit
(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 Baseball strike is a subclass of baseball maneuver

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