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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - BaseballSingle

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 棒球单身棒球击中subclass

appearance as argument number 2

(termFormat ChineseLanguage BaseballSingle "棒球单身") domainEnglishFormat.kif 10068-10068
(termFormat ChineseTraditionalLanguage BaseballSingle "棒球單身") domainEnglishFormat.kif 10067-10067
(termFormat EnglishLanguage BaseballSingle "baseball single") domainEnglishFormat.kif 10066-10066

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