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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BaseballWalk

Sigma KEE - BaseballWalk
BaseballWalk

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


(disjoint BaseballWalk BaseballHit) Sports.kif 696-696 BaseballWalk est disjoint de BaseballHit
(documentation BaseballWalk EnglishLanguage "Taking first base after four balls have been called by the umpire.") Sports.kif 694-695
(subclass BaseballWalk BaseballManeuver) Sports.kif 693-693 BaseballWalk est une sous-classe de BaseballManeuver

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


(disjoint BaseballSteal BaseballWalk) Sports.kif 739-739 BaseballSteal est disjoint de BaseballWalk
(termFormat ChineseLanguage BaseballWalk "棒球步行") domainEnglishFormat.kif 10092-10092
(termFormat ChineseTraditionalLanguage BaseballWalk "棒球步行") domainEnglishFormat.kif 10091-10091
(termFormat EnglishLanguage BaseballWalk "baseball walk") domainEnglishFormat.kif 10090-10090


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