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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AcromialArtery

Sigma KEE - BaseballSteal
BaseballSteal(棒球偷)

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


(disjoint BaseballSteal BaseballHit) Sports.kif 740-740 不相交的 棒球偷 and 棒球擊中
(disjoint BaseballSteal BaseballWalk) Sports.kif 739-739 不相交的 棒球偷 and 棒球步行
(documentation BaseballSteal EnglishLanguage "Any move from one base to another which is neither a BaseballWalk nor a BaseballHit.") Sports.kif 741-742
(subclass BaseballSteal BaseballManeuver) Sports.kif 738-738 子類 棒球偷 and 棒球演練

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


(termFormat ChineseLanguage BaseballSteal "棒球偷") domainEnglishFormat.kif 10074-10074
(termFormat ChineseTraditionalLanguage BaseballSteal "棒球偷") domainEnglishFormat.kif 10073-10073
(termFormat EnglishLanguage BaseballSteal "baseball steal") domainEnglishFormat.kif 10072-10072


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