AmusementGamblingAndRecreationIndustries - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AmusementGamblingAndRecreationIndustries

AmusementGamblingAndRecreationIndustries(amusement gambling and recreation industries)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 11415-11417
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1905-1905	Amusement gambling and recreation industries is internally related to tourism industry
No TPTP formula. May not be expressible in strict first order.	naics.kif 11413-11413	Amusement gambling and recreation industries is a subattribute of arts entertainment and recreation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11419-11419	Amusement parks and arcades is a subattribute of amusement gambling and recreation industries
No TPTP formula. May not be expressible in strict first order.	naics.kif 11477-11477	Gambling industries is a subattribute of amusement gambling and recreation industries
No TPTP formula. May not be expressible in strict first order.	naics.kif 11507-11507	Other amusement and recreation industries is a subattribute of amusement gambling and recreation industries
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7351-7351	Other amusement and recreation industries is a subattribute of amusement gambling and recreation industries
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7350-7350	Other amusement and recreation industries is a subattribute of amusement gambling and recreation industries
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7349-7349	Other amusement and recreation industries is a subattribute of amusement gambling and recreation industries

antecedent

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

naics.kif 11456-11468

If an agent is an instance of ticket and the agent possesses an object and a cognitive agent is an issued by of the agent and amusement gambling and recreation industries is an attribute of the cognitive agent and the cognitive agent is located at another object,
then the cognitive agent confers norm there exists an entity such that the entity is an instance of recreation or exercise and the object experiences the entity and the entity is located at the other object for permission

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