Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AmusementGamblingAndRecreationIndustries

 Sigma KEE - AmusementGamblingAndRecreationIndustries
AmusementGamblingAndRecreationIndustries(娱乐赌博和娱乐业)

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 娱乐赌博和娱乐业 和 旅游产业 是 内部相关
No TPTP formula. May not be expressible in strict first order. naics.kif 11413-11413 娱乐赌博和娱乐业 是 艺术娱乐和游艺 的 subAttribute

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 11419-11419 游乐园和商场 是 娱乐赌博和娱乐业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 11477-11477 赌博业 是 娱乐赌博和娱乐业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 11507-11507 其他娱乐和娱乐业 是 娱乐赌博和娱乐业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7344-7344
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7343-7343
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7342-7342

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 11456-11468


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