GolfHole - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - GolfHole

GolfHole(golf hole)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Sports.kif 960-961
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2959-2959
No TPTP formula. May not be expressible in strict first order.	Sports.kif 959-959	Golf hole is a subclass of hole

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26232-26232
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26231-26231
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26230-26230

antecedent

No TPTP formula. May not be expressible in strict first order.

Sports.kif 964-972

If a self connected object is an instance of golf hole,
then there exist an attribute and another self connected object such that the attribute is an instance of cylinder and the attribute is an attribute of the self connected object and the top of the self connected object is the other self connected object and the other self connected object is an instance of circle and the diameter of the other self connected object is 4.25 inch(s)

consequent

No TPTP formula. May not be expressible in strict first order.

Sports.kif 1015-1020

If an object is an instance of putting green,
then there exists another object such that the other object is an instance of golf hole and the other object is a part of the object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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