| 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 23556-23557 | |
| (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 23555-23555 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TouristSite "旅游景点") | domainEnglishFormat.kif 58689-58689 | |
| (termFormat ChineseTraditionalLanguage TouristSite "旅遊景點") | domainEnglishFormat.kif 58688-58688 | |
| (termFormat EnglishLanguage TouristSite "tourist site") | domainEnglishFormat.kif 58687-58687 |
| consequent |
|
|
| (=> (instance ?TOUR TourService) (exists (?SITE ?SUBTOUR) (and (instance ?SITE TouristSite) (instance ?SUBTOUR Translocation) (destination ?SUBTOUR ?SITE) (subProcess ?SUBTOUR ?TOUR)))) |
Hotel.kif 2087-2094 |
|
|
|