Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Baseball
Baseball(baseball)
World_Series, ball, baseball, baseball_game, hardball, professional_baseball

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


(subclass Baseball TeamSport) Sports.kif 630-630 Baseball is a subclass of team sport
(documentation Baseball EnglishLanguage "A TeamSport which involves two teams of 9 players each that take turns at bat and attempt to score runs. Note that each instance of Baseball is a baseball game.") Sports.kif 631-633 Baseball is a subclass of team sport
(externalImage Baseball "http://articulatesoftware.com/SUMOpictures/recreation/ sports/ baseball/ BaseBall_22.png") pictureList.kif 261-261 Baseball is a subclass of team sport

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


(termFormat EnglishLanguage Baseball "baseball") domainEnglishFormat.kif 10012-10012
(termFormat ChineseTraditionalLanguage Baseball "棒球") domainEnglishFormat.kif 10013-10013
(termFormat ChineseLanguage Baseball "棒球") domainEnglishFormat.kif 10014-10014

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


(=>
    (and
        (instance ?G Baseball)
        (instance ?P Pitching)
        (subProcess ?P ?G))
    (exists (?M)
        (and
            (instance ?M PitchersMound)
            (origin ?P ?M))))		 Sports.kif 688-696 If X is an instance of baseball, Y is an instance of pitching, and Y is a subprocess of X, then there exists Z such that Z is an instance of pitchers mound and Y originates at Z

consequent
-------------------------


(=>
    (attribute ?ATHLETE BaseballPlayer)
    (hasSkill Baseball ?ATHLETE))		 Sports.kif 404-406 If baseball player is an attribute of X, then X has the skill to do baseball
(=>
    (instance ?B BaseballBase)
    (hasPurpose ?B
        (exists (?G)
            (and
                (instance ?G Baseball)
                (patient ?G ?B)))))		 Sports.kif 639-645 If X is an instance of baseball base, then X has the purpose there exists Y such that Y is an instance of baseball and X is a patient of Y
(=>
    (instance ?F BaseballField)
    (hasPurpose ?F
        (exists (?S)
            (and
                (instance ?S Baseball)
                (eventLocated ?S ?F)))))		 Sports.kif 702-708 If X is an instance of baseball field, then X has the purpose there exists Y such that Y is an instance of baseball and Y is located at X
(=>
    (instance ?M BaseballManeuver)
    (exists (?B)
        (and
            (instance ?B Baseball)
            (subProcess ?M ?B))))		 Sports.kif 712-717 If X is an instance of baseball maneuver, then there exists Y such that Y is an instance of baseball and X is a subprocess of Y
(=>
    (instance ?TEAM BaseballTeam)
    (capability Baseball agent ?TEAM))		 Sports.kif 779-781 If X is an instance of baseball team, then X is capable of doing baseball as a agent
(=>
    (instance ?INNING BaseballInning)
    (exists (?GAME)
        (and
            (instance ?GAME Baseball)
            (subProcess ?INNING ?GAME))))		 Sports.kif 787-792 If X is an instance of baseball inning, then there exists Y such that Y is an instance of baseball and X is a subprocess of Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners