TouristSite - Sigma Knowledge base Browser

appearance as argument number 1

(subclass TouristSite GeographicArea)	Mid-level-ontology.kif 24891-24891	Tourist site is a subclass of geographic area
(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 24892-24893	Tourist site is a subclass of geographic area
(externalImage TouristSite "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Paris_06_Eiffelturm_4828.jpg")	pictureList.kif 886-886	Tourist site is a subclass of geographic area

appearance as argument number 2

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

consequent

(=>
    (instance ?TOUR TourService)
    (exists (?SITE ?SUBTOUR)
        (and
            (instance ?SITE TouristSite)
            (instance ?SUBTOUR Translocation)
            (destination ?SUBTOUR ?SITE)
            (subProcess ?SUBTOUR ?TOUR))))

If X is an instance of tour service, then there exist Y, Z such that Y is an instance of tourist site, Z is an instance of translocation, Z ends up at Y, and Z is a subprocess of X