TouristSite(tourist site) |
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 22665-22666 | |
(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 22664-22664 | Tourist site is a subclass of geographic area |
appearance as argument number 2 |
(termFormat ChineseLanguage TouristSite "旅游景点") | domainEnglishFormat.kif 58654-58654 | |
(termFormat ChineseTraditionalLanguage TouristSite "旅遊景點") | domainEnglishFormat.kif 58653-58653 | |
(termFormat EnglishLanguage TouristSite "tourist site") | domainEnglishFormat.kif 58652-58652 |
consequent |
(=> (instance ?TOUR TourService) (exists (?SITE ?SUBTOUR) (and (instance ?SITE TouristSite) (instance ?SUBTOUR Translocation) (destination ?SUBTOUR ?SITE) (subProcess ?SUBTOUR ?TOUR)))) |
Hotel.kif 2087-2094 |
|