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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BaseballBase

Sigma KEE - BaseballBase
BaseballBase

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


(defaultMaximumHeight BaseballBase
    (MeasureFn 5 Inch))
DimensioningAmenities.kif 709-709
(defaultMaximumLength BaseballBase
    (MeasureFn 15 Inch))
DimensioningAmenities.kif 713-713
(defaultMaximumMeasure BaseballBase
    (MeasureFn 10 PoundMass))
DimensioningAmenities.kif 715-715
(defaultMaximumWidth BaseballBase
    (MeasureFn 15 Inch))
DimensioningAmenities.kif 711-711
(defaultMinimumHeight BaseballBase
    (MeasureFn 0.5 Inch))
DimensioningAmenities.kif 708-708
(defaultMinimumLength BaseballBase
    (MeasureFn 15 Inch))
DimensioningAmenities.kif 712-712
(defaultMinimumMeasure BaseballBase
    (MeasureFn 0.5 PoundMass))
DimensioningAmenities.kif 714-714
(defaultMinimumWidth BaseballBase
    (MeasureFn 15 Inch))
DimensioningAmenities.kif 710-710
(documentation BaseballBase EnglishLanguage "Any of four regions which must each be successively touched after a BaseballHit in order to complete a BaseballRun.") Sports.kif 496-498
(externalImage BaseballBase "http://upload.wikimedia.org/wikipedia/commons/ 1/ 14/ Baseball_field_overview.png") pictureList.kif 8971-8971
(externalImage BaseballBase "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9f/ Wrigley_field_720.jpg") pictureList.kif 8372-8372
(externalImage BaseballBase "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Baseballpositions.png") pictureList.kif 10513-10513
(subclass BaseballBase GameArtifact) Sports.kif 495-495

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


(subclass HomeBase BaseballBase) Sports.kif 507-507
(termFormat EnglishLanguage BaseballBase "baseball base") domainEnglishFormat.kif 2105-2105

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


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

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 597-618


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners