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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BaseballManeuver
BaseballManeuver

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


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

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


(subclass BaseballHit BaseballManeuver) Sports.kif 699-699
(subclass BaseballSteal BaseballManeuver) Sports.kif 738-738
(subclass BaseballStrike BaseballManeuver) Sports.kif 747-747
(subclass BaseballWalk BaseballManeuver) Sports.kif 693-693
(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