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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TouristSite
TouristSite

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


(documentation TouristSite EnglishLanguage "A tourist site is a location that has some feature of interest to Tourists, which entertains or informs them.") Mid-level-ontology.kif 22613-22614
(externalImage TouristSite "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Paris_06_Eiffelturm_4828.jpg") pictureList.kif 886-886
(subclass TouristSite GeographicArea) Mid-level-ontology.kif 22612-22612

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


(termFormat ChineseLanguage TouristSite "旅游景点") domainEnglishFormat.kif 58652-58652
(termFormat ChineseTraditionalLanguage TouristSite "旅遊景點") domainEnglishFormat.kif 58651-58651
(termFormat EnglishLanguage TouristSite "tourist site") domainEnglishFormat.kif 58650-58650

consequent
-------------------------


(=>
    (instance ?TOUR TourService)
    (exists (?SITE ?SUBTOUR)
        (and
            (instance ?SITE TouristSite)
            (instance ?SUBTOUR Translocation)
            (destination ?SUBTOUR ?SITE)
            (subProcess ?SUBTOUR ?TOUR))))
Hotel.kif 2087-2094


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