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

No TPTP formula. May not be expressible in strict first order.	Sports.kif 890-892
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 468-468
No TPTP formula. May not be expressible in strict first order.	Sports.kif 889-889	Golf is a subclass of sport

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26220-26220
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26219-26219
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26218-26218

antecedent

No TPTP formula. May not be expressible in strict first order.	Sports.kif 940-945	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
No TPTP formula. May not be expressible in strict first order.	Sports.kif 894-901	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

No TPTP formula. May not be expressible in strict first order.	Sports.kif 416-418	If golfer is an attribute of an agent, then the agent has the skill to do golf
No TPTP formula. May not be expressible in strict first order.	Sports.kif 923-929	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
No TPTP formula. May not be expressible in strict first order.	Sports.kif 908-916	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2810-2812	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