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


KB Term:  Term intersection
English Word: 

  GolfHole

 Sigma KEE - GolfHole
GolfHole(golf hole)
cup

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


(subclass GolfHole HoleRegion) Sports.kif 985-985 Golf hole is a subclass of hole
(documentation GolfHole EnglishLanguage "GolfHole refers to a type of HoleRegion in the size of a GolfBall located in a PuttingGreen") Sports.kif 986-987 Golf hole is a subclass of hole
(externalImage GolfHole "http://upload.wikimedia.org/wikipedia/commons/e/ e6/ Golfball.jpg") pictureList.kif 2958-2958 Golf hole is a subclass of hole

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


(termFormat EnglishLanguage GolfHole "golf hole") domainEnglishFormat.kif 26234-26234
(termFormat ChineseTraditionalLanguage GolfHole "高爾夫球洞") domainEnglishFormat.kif 26235-26235
(termFormat ChineseLanguage GolfHole "高尔夫球洞") domainEnglishFormat.kif 26236-26236

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


(=>
    (instance ?HOLE GolfHole)
    (exists (?C ?CIR)
        (and
            (shape ?HOLE Cylinder)
            (top ?C ?HOLE)
            (instance ?C Region)
            (shape ?C ?CIR)
            (equal ?CIR Circle)
            (diameter ?CIR
                (MeasureFn 4.25 Inch)))))		 Sports.kif 990-1000 If X is an instance of golf hole, then there exist Y and Z such that X is cylinder and the top of X is Y and Y is an instance of region and Y is Z and equal Z and circle and the diameter of Z is 4.25 inch(s)

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


(=>
    (instance ?P PuttingGreen)
    (exists (?HOLE)
        (and
            (instance ?HOLE GolfHole)
            (part ?HOLE ?P))))		 Sports.kif 1043-1048 If X is an instance of putting green, then there exists Y such that Y is an instance of golf hole and Y is a part 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