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