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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TourismIndustry
TourismIndustry(tourism industry)
more pictures...
tourism, touristry

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1897-1904
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8768-8768
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. pictureList.kif 9764-9764
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9765-9765
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9766-9766
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9767-9767
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9768-9768
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9769-9769
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9770-9770
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9771-9771
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9772-9772
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9773-9773
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9774-9774
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9775-9775
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9776-9776
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9777-9777
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9778-9778
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9779-9779
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9780-9780
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9781-9781
No TPTP formula. May not be expressible in strict first order. Economy.kif 1895-1895 Tourism industry is an instance of industry attribute

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1909-1909 Amusement gambling and recreation industries is internally related to tourism industry
No TPTP formula. May not be expressible in strict first order. Economy.kif 1910-1910 Arts entertainment and recreation is internally related to tourism industry
No TPTP formula. May not be expressible in strict first order. Economy.kif 1908-1908 Museums historical sites and similar institutions is internally related to tourism industry
No TPTP formula. May not be expressible in strict first order. Economy.kif 1906-1906 Travel arrangement and reservation services is internally related to tourism industry
No TPTP formula. May not be expressible in strict first order. Economy.kif 1907-1907 Traveler accommodation is internally related to tourism industry
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58521-58521
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58520-58520
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58519-58519


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners