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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - BaseballManeuver

appearance as argument number 1

(documentation BaseballManeuver EnglishLanguage "Any Maneuver in Baseball.") Sports.kif 685-685
(subclass BaseballManeuver Maneuver) Sports.kif 684-684 棒球演练竞争招数subclass

appearance as argument number 2

(subclass BaseballHit BaseballManeuver) Sports.kif 699-699 棒球击中棒球演练subclass
(subclass BaseballSteal BaseballManeuver) Sports.kif 738-738 棒球偷棒球演练subclass
(subclass BaseballStrike BaseballManeuver) Sports.kif 747-747 棒球罢工棒球演练subclass
(subclass BaseballWalk BaseballManeuver) Sports.kif 693-693 棒球步行棒球演练subclass
(termFormat ChineseLanguage BaseballManeuver "棒球演练") domainEnglishFormat.kif 10056-10056
(termFormat ChineseTraditionalLanguage BaseballManeuver "棒球演練") domainEnglishFormat.kif 10055-10055
(termFormat EnglishLanguage BaseballManeuver "baseball maneuver") domainEnglishFormat.kif 10054-10054


    (instance ?M BaseballManeuver)
    (exists (?B)
            (instance ?B Baseball)
            (subProcess ?M ?B))))
Sports.kif 686-691

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