TourismIndustry - Sigma Knowledge base Browser

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	例旅遊產業 and 行業屬性

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1905-1905	相關的內部概念娛樂賭博和娛樂業 and 旅遊產業
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1906-1906	相關的內部概念藝術娛樂和遊藝 and 旅遊產業
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1904-1904	相關的內部概念博物館歷史遺址和類似機構 and 旅遊產業
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1902-1902	相關的內部概念旅行安排和預訂服務 and 旅遊產業
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1903-1903	相關的內部概念旅客住宿 and 旅遊產業
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

KB Term:			Term intersection

English Word: