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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BaseballSingle
BaseballSingle(baseball single)bingle, single

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


(documentation BaseballSingle EnglishLanguage "Any BaseballHit where the batter makes it safely to first base by hitting the ball.") Sports.kif 735-736
(subclass BaseballSingle BaseballHit) Sports.kif 734-734 Baseball single is a subclass of baseball hit

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


(termFormat ChineseLanguage BaseballSingle "棒球单身") domainEnglishFormat.kif 10075-10075
(termFormat ChineseTraditionalLanguage BaseballSingle "棒球單身") domainEnglishFormat.kif 10074-10074
(termFormat EnglishLanguage BaseballSingle "baseball single") domainEnglishFormat.kif 10073-10073


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