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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TourismIndustry

 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 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 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 1905-1905 Amusement gambling and recreation industries is internally related to tourism industry
No TPTP formula. May not be expressible in strict first order. Economy.kif 1906-1906 Arts entertainment and recreation is internally related to tourism industry
No TPTP formula. May not be expressible in strict first order. Economy.kif 1904-1904 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 1902-1902 Travel arrangement and reservation services is internally related to tourism industry
No TPTP formula. May not be expressible in strict first order. Economy.kif 1903-1903 Traveler accommodation is internally related to tourism industry
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 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