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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BaseballBase
BaseballBase

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 610-612
(externalImage BaseballBase "http://upload.wikimedia.org/wikipedia/commons/ 1/ 14/ Baseball_field_overview.png") pictureList.kif 8966-8966
(externalImage BaseballBase "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9f/ Wrigley_field_720.jpg") pictureList.kif 8370-8370
(externalImage BaseballBase "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Baseballpositions.png") pictureList.kif 10492-10492
(subclass BaseballBase GameArtifact) Sports.kif 609-609

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


(subclass HomeBase BaseballBase) Sports.kif 621-621
(termFormat ChineseLanguage BaseballBase "棒球基地") domainEnglishFormat.kif 10020-10020
(termFormat ChineseTraditionalLanguage BaseballBase "棒球基地") domainEnglishFormat.kif 10019-10019
(termFormat EnglishLanguage BaseballBase "baseball base") domainEnglishFormat.kif 10018-10018

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


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

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 711-732


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