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 2959-2959 | |
(subclass GolfHole HoleRegion) | Sports.kif 959-959 | Golf hole is a subclass of hole |
appearance as argument number 2 |
(termFormat ChineseLanguage GolfHole "高尔夫球洞") | domainEnglishFormat.kif 26232-26232 | |
(termFormat ChineseTraditionalLanguage GolfHole "高爾夫球洞") | domainEnglishFormat.kif 26231-26231 | |
(termFormat EnglishLanguage GolfHole "golf hole") | domainEnglishFormat.kif 26230-26230 |
antecedent |
(=> (instance ?HOLE GolfHole) (exists (?CYLINDER ?CIRCLE) (and (instance ?CYLINDER Cylinder) (attribute ?HOLE ?CYLINDER) (top ?CIRCLE ?HOLE) (instance ?CIRCLE Circle) (diameter ?CIRCLE (MeasureFn 4.25 Inch))))) |
Sports.kif 964-972 |
|
consequent |
(=> (instance ?P PuttingGreen) (exists (?HOLE) (and (instance ?HOLE GolfHole) (part ?HOLE ?P)))) |
Sports.kif 1015-1020 |
|