TreeView Knowledge Base Browser

appearance as argument number 2

(subclass HomeBase BaseballBase)	Sports.kif 647-647	Home base is a subclass of baseball base
(termFormat EnglishLanguage BaseballBase "baseball base")	domainEnglishFormat.kif 10018-10018	Home base is a subclass of baseball base
(termFormat ChineseTraditionalLanguage BaseballBase "棒球基地")	domainEnglishFormat.kif 10019-10019	Home base is a subclass of baseball base
(termFormat ChineseLanguage BaseballBase "棒球基地")	domainEnglishFormat.kif 10020-10020	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 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

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 737-758

If X is an instance of baseball run, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U,, , T,, , S (2) R such that Y is an instance of touching (3) Z is an instance of touching (4) W is an instance of touching (5) V is an instance of touching (6) U is an instance of baseball base (7) T is an instance of baseball base (8) S is an instance of baseball base (9) R is an instance of baseball base (10) equal U (11) T (12) equal U (13) S (14) equal U (15) R (16) equal T (17) S (18) equal T (19) R (20) equal S (21) R (22) Y is a subprocess of X (23) Z is a subprocess of X (24) W is a subprocess of X (25) V is a subprocess of X

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

(subclass BaseballBase GameArtifact)	Sports.kif 635-635	Baseball base is a subclass of game artifact
(documentation BaseballBase EnglishLanguage "Any of four regions which must each be successively touched after a BaseballHit in order to complete a BaseballRun.")	Sports.kif 636-638	Baseball base is a subclass of game artifact
(defaultMinimumHeight BaseballBase (MeasureFn 0.5 Inch))	DimensioningAmenities.kif 710-710	The minimum expected height of baseball base is 0.5 inch(s)
(defaultMaximumHeight BaseballBase (MeasureFn 5 Inch))	DimensioningAmenities.kif 711-711	The maximum expected height of baseball base is 5 inch(s)
(defaultMinimumWidth BaseballBase (MeasureFn 15 Inch))	DimensioningAmenities.kif 712-712	The minimum expected width of baseball base is 15 inch(s)
(defaultMaximumWidth BaseballBase (MeasureFn 15 Inch))	DimensioningAmenities.kif 713-713	The maximum expected width of baseball base is 15 inch(s)
(defaultMinimumLength BaseballBase (MeasureFn 15 Inch))	DimensioningAmenities.kif 714-714	The minimum expected length of baseball base is 15 inch(s)
(defaultMaximumLength BaseballBase (MeasureFn 15 Inch))	DimensioningAmenities.kif 715-715	The maximum expected length of baseball base is 15 inch(s)
(defaultMinimumMeasure BaseballBase (MeasureFn 0.5 PoundMass))	DimensioningAmenities.kif 716-716	The minimum expected value of baseball base is 0.5 pound mass(s)
(defaultMaximumMeasure BaseballBase (MeasureFn 10 PoundMass))	DimensioningAmenities.kif 717-717	The maximum expected value of baseball base is 10 pound mass(s)
(externalImage BaseballBase "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9f/ Wrigley_field_720.jpg")	pictureList.kif 8369-8369	The maximum expected value of baseball base is 10 pound mass(s)
(externalImage BaseballBase "http://upload.wikimedia.org/wikipedia/commons/ 1/ 14/ Baseball_field_overview.png")	pictureList.kif 8965-8965	The maximum expected value of baseball base is 10 pound mass(s)
(externalImage BaseballBase "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Baseballpositions.png")	pictureList.kif 10490-10490	The maximum expected value of baseball base is 10 pound mass(s)

KB Term:			Term intersection

English Word: