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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TourismIndustry
TourismIndustry(旅游产业)
more pictures...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 1893-1900
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8763-8763
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9745-9745
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9746-9746
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9747-9747
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9748-9748
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9749-9749
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9750-9750
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9751-9751
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9752-9752
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9753-9753
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9754-9754
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9755-9755
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9756-9756
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9757-9757
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9758-9758
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9759-9759
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9760-9760
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9761-9761
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9762-9762
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9763-9763
No TPTP formula. May not be expressible in strict first order. Economy.kif 1891-1891 旅游产业 是 行业属性 的 instance

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


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. Economy.kif 1906-1906 艺术娱乐和游艺 和 旅游产业 是 内部相关
No TPTP formula. May not be expressible in strict first order. Economy.kif 1904-1904 博物馆历史遗址和类似机构 和 旅游产业 是 内部相关
No TPTP formula. May not be expressible in strict first order. Economy.kif 1902-1902 旅行安排和预订服务 和 旅游产业 是 内部相关
No TPTP formula. May not be expressible in strict first order. Economy.kif 1903-1903 旅客住宿 和 旅游产业 是 内部相关
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58640-58640
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58639-58639
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58638-58638


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