WaterThemePark - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WaterThemePark

WaterThemePark(water theme park)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 11432-11434
No TPTP formula. May not be expressible in strict first order.	naics.kif 11431-11431	Water theme park is a subattribute of amusement and theme parks

appearance as argument number 2

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

naics.kif 11435-11435

antecedent

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

naics.kif 11437-11442

If water theme park is an attribute of an agent,
then there exists an entity such that the entity is an instance of swimming pool and the entity is an element of belongings of the agent

consequent

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

naics.kif 11449-11454

If a certificate is an instance of water park ticket,
then there exists a cognitive agent such that water theme park is an attribute of the cognitive agent and the cognitive agent is an issued by of the certificate

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