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

Formal Language: 


KB Term:  Term intersection
English Word: 

  BaseballBase

Sigma KEE - BaseballBase
BaseballBase(baseball base)
bag, base, first_base, second_base, third, third_base

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


(documentation BaseballBase EnglishLanguage "Any of four regions which must each be successively touched after a BaseballHit in order to complete a BaseballRun.") Sports.kif 622-624
(externalImage BaseballBase "http://upload.wikimedia.org/wikipedia/commons/ 1/ 14/ Baseball_field_overview.png") pictureList.kif 8965-8965
(externalImage BaseballBase "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9f/ Wrigley_field_720.jpg") pictureList.kif 8369-8369
(externalImage BaseballBase "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Baseballpositions.png") pictureList.kif 10490-10490
(subclass BaseballBase GameArtifact) Sports.kif 621-621 Baseball base is a subclass of game artifact

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


(subclass HomeBase BaseballBase) Sports.kif 633-633 Home base is a subclass of baseball base
(termFormat ChineseLanguage BaseballBase "棒球基地") domainEnglishFormat.kif 10021-10021 Home base is a subclass of baseball base
(termFormat ChineseTraditionalLanguage BaseballBase "棒球基地") domainEnglishFormat.kif 10020-10020 Home base is a subclass of baseball base
(termFormat EnglishLanguage BaseballBase "baseball base") domainEnglishFormat.kif 10019-10019 Home base is a subclass of baseball base

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


(=>
    (instance ?B BaseballBase)
    (hasPurpose ?B
        (exists (?G)
            (and
                (instance ?G Baseball)
                (patient ?G ?B)))))
Sports.kif 625-631

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


(=>
    (instance ?HR BaseballRun)
    (exists (?T1 ?T2 ?T3 ?T4 ?B1 ?B2 ?B3 ?B4)
        (and
            (instance ?T1 Touching)
            (instance ?T2 Touching)
            (instance ?T3 Touching)
            (instance ?T4 Touching)
            (instance ?B1 BaseballBase)
            (instance ?B2 BaseballBase)
            (instance ?B3 BaseballBase)
            (instance ?B4 BaseballBase)
            (not
                (equal ?B1 ?B2))
            (not
                (equal ?B1 ?B3))
            (not
                (equal ?B1 ?B4))
            (not
                (equal ?B2 ?B3))
            (not
                (equal ?B2 ?B4))
            (not
                (equal ?B3 ?B4))
            (subProcess ?T1 ?HR)
            (subProcess ?T2 ?HR)
            (subProcess ?T3 ?HR)
            (subProcess ?T4 ?HR))))
Sports.kif 723-744


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