| GolfHole(golf hole)
| | cup |
| appearance as argument number 1 |
|
|
| (documentation GolfHole EnglishLanguage "GolfHole refers to a type of HoleRegion in the size of a GolfBall located in a PuttingGreen") | Sports.kif 960-961 | |
| (externalImage GolfHole "http://upload.wikimedia.org/wikipedia/commons/e/ e6/ Golfball.jpg") | pictureList.kif 2958-2958 | |
| (subclass GolfHole HoleRegion) | Sports.kif 959-959 | Golf hole is a subclass of hole |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage GolfHole "高尔夫球洞") | domainEnglishFormat.kif 26261-26261 | |
| (termFormat ChineseTraditionalLanguage GolfHole "高爾夫球洞") | domainEnglishFormat.kif 26260-26260 | |
| (termFormat EnglishLanguage GolfHole "golf hole") | domainEnglishFormat.kif 26259-26259 |
| antecedent |
|
|
| (=> (instance ?HOLE GolfHole) (exists (?C) (and (shape ?HOLE Cylinder) (top ?C ?HOLE) (instance ?C Region) (shape ?C ?CIR) (equal ?CIR Circle) (diameter ?CIR (MeasureFn 4.25 Inch))))) |
Sports.kif 964-974 |
|
| consequent |
|
|
| (=> (instance ?P PuttingGreen) (exists (?HOLE) (and (instance ?HOLE GolfHole) (part ?HOLE ?P)))) |
Sports.kif 1017-1022 |
|
|
|
|