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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BaseballManeuver
BaseballManeuver(baseball maneuver)

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


(documentation BaseballManeuver EnglishLanguage "Any Maneuver in Baseball.") Sports.kif 685-685
(subclass BaseballManeuver Maneuver) Sports.kif 684-684 Baseball maneuver is a subclass of maneuver

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


(subclass BaseballHit BaseballManeuver) Sports.kif 699-699 Baseball hit is a subclass of baseball maneuver
(subclass BaseballSteal BaseballManeuver) Sports.kif 738-738 Baseball steal is a subclass of baseball maneuver
(subclass BaseballStrike BaseballManeuver) Sports.kif 747-747 Baseball strike is a subclass of baseball maneuver
(subclass BaseballWalk BaseballManeuver) Sports.kif 693-693 Baseball walk is a subclass of baseball maneuver
(termFormat ChineseLanguage BaseballManeuver "棒球演练") domainEnglishFormat.kif 10056-10056
(termFormat ChineseTraditionalLanguage BaseballManeuver "棒球演練") domainEnglishFormat.kif 10055-10055
(termFormat EnglishLanguage BaseballManeuver "baseball maneuver") domainEnglishFormat.kif 10054-10054

antecedent
-------------------------


(=>
    (instance ?M BaseballManeuver)
    (exists (?B)
        (and
            (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