TreeView Knowledge Base Browser - Golf

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Golf

Sigma KEE - Golf

Golf(golf)

clock_golf, golf, golf_game, golfing, professional_golf, round, round_of_golf

appearance as argument number 1

(documentation Golf EnglishLanguage "A Sport which has a course of 9 or 18 holes and where the object is to hit a ball with a club into each hole in turn with the fewest number of strokes.")	Sports.kif 902-904
(externalImage Golf "http://articulatesoftware.com/SUMOpictures/recreation/ sports/ golf/ golf.png")	pictureList.kif 468-468
(subclass Golf Sport)	Sports.kif 901-901	Golf is a subclass of sport

appearance as argument number 2

(termFormat ChineseLanguage Golf "高尔夫球")	domainEnglishFormat.kif 26230-26230
(termFormat ChineseTraditionalLanguage Golf "高爾夫球")	domainEnglishFormat.kif 26229-26229
(termFormat EnglishLanguage Golf "golf")	domainEnglishFormat.kif 26228-26228

antecedent

(=> (instance ?G Golf) (exists (?M) (and (instance ?M GolfManeuver) (subProcess ?M ?G))))	Sports.kif 952-957	If a process is an instance of golf, then there exists another process such that the other process is an instance of golf maneuver and the other process is a subprocess of the process
(=> (instance ?GOLF Golf) (exists (?DRIVE ?PUTT) (and (instance ?DRIVE GolfDrive) (instance ?PUTT GolfPutt) (subProcess ?DRIVE ?GOLF) (subProcess ?PUTT ?GOLF))))	Sports.kif 906-913	If a process is an instance of golf, then there exist another process and a third process such that the other process is an instance of golf drive and the third process is an instance of golf put and the other process is a subprocess of the process and the third process is a subprocess of the process

consequent

(=> (attribute ?ATHLETE Golfer) (hasSkill Golf ?ATHLETE))	Sports.kif 428-430	If golfer is an attribute of an agent, then the agent has the skill to do golf
(=> (instance ?X GolfCourse) (hasPurpose ?X (exists (?GOLF) (and (instance ?GOLF Golf) (eventLocated ?GOLF ?X)))))	Sports.kif 935-941	If a physical is an instance of golf course, then the physical has the purpose there exists an entity such that the entity is an instance of golf and the entity is located at the physical
(=> (instance ?X GolfFacility) (hasPurpose ?X (exists (?GOLF) (and (or (instance ?GOLF Golf) (instance ?GOLF GolfManeuver)) (eventLocated ?GOLF ?X)))))	Sports.kif 920-928	If a physical is an instance of golf facility, then the physical has the purpose there exists an entity such that the entity is an instance of golf or the entity is an instance of golf maneuver and the entity is located at the physical
(=> (instance ?X GolfPackage) (processInclusion ?X Golf))	Hotel.kif 2821-2823	If a hotel package is an instance of golf package, then customers of the hotel package are entitled to golf

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 is open source software produced by Articulate Software and its partners