more pictures...
| Piedmont
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation Piedmont EnglishLanguage "A Piedmont is a LandArea at the foot of mountains.") | Geography.kif 4267-4267 | |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/0/ 0f/ Verbania_Pallanza.jpg") | pictureList.kif 6767-6767 | |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/1/ 12/ Piemonterisaie.jpg") | pictureList.kif 7556-7556 | |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Borgomanero2.jpg") | pictureList.kif 7557-7557 | |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Monferrato_1.jpg") | pictureList.kif 7558-7558 | |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/2/ 2d/ Macugnaga.JPG") | pictureList.kif 7559-7559 | |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/3/ 3a/ Torino_panoramadaicappuccini.jpg") | pictureList.kif 7560-7560 | |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/6/ 6b/ Torino_Palazzo_Carignano_jpg.jpg") | pictureList.kif 7561-7561 | |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Asti_Cathedral.jpg") | pictureList.kif 7562-7562 | |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/7/ 72/ Sacro_Monte_di_Ghiffa.JPG") | pictureList.kif 7563-7563 | |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/7/ 75/ Sacro_Monte_di_Crea._Cappella_del_Paradiso3.jpg") | pictureList.kif 7564-7564 | |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/8/ 8d/ Torino_palazzo_reale_%28v2%29.jpg") | pictureList.kif 7565-7565 | |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/a/ af/ Italy_Regions_Piedmont_Map.png") | pictureList.kif 7569-7569 | |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ Castello_valentino_-_fronte.jpg") | pictureList.kif 7566-7566 | |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/e/ e7/ Cap._9%2C_La_terza_caduta._Cap._11%2C_La_crocefissione.JPG") | pictureList.kif 7567-7567 | |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ Biella_Teatro_Sociale-2-bis.jpg") | pictureList.kif 7568-7568 | |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/en/c/c9/Piedmont_Provinces.png") | pictureList.kif 7570-7570 | |
| (subclass Piedmont LandArea) | Geography.kif 4266-4266 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Piedmont "山前") | domainEnglishFormat.kif 45841-45841 | |
| (termFormat ChineseTraditionalLanguage Piedmont "山前") | domainEnglishFormat.kif 45840-45840 | |
| (termFormat EnglishLanguage Piedmont "piedmont") | domainEnglishFormat.kif 45839-45839 |
| antecedent |
|
|
| (=> (and (instance ?piedmont Piedmont) (attribute ?mountains MountainousTerrain) (orientation ?piedmont ?mountains Adjacent) (instance ?U UnitOfLength) (height ?piedmont (MeasureFn ?height1 ?U)) (height ?mountains (MeasureFn ?height2 ?U))) (greaterThan ?height2 ?height1)) |
Geography.kif 4276-4286 | |
| (=> (instance ?piedmont Piedmont) (exists (?mountains) (and (instance ?mountains MountainousTerrain) (orientation ?piedmont ?mountains Adjacent)))) |
Geography.kif 4269-4274 |
|
|
|