Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Piedmont(piedmont)
more pictures... |  | Piedmont, Piemonte |
| appearance as argument number 1 |
|
|
| (subclass Piedmont LandArea) | Geography.kif 5700-5700 | Piedmont is a subclass of land area |
| (documentation Piedmont EnglishLanguage "A Piedmont is a LandArea at the foot of mountains.") | Geography.kif 5701-5701 | Piedmont is a subclass of land area |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/0/ 0f/ Verbania_Pallanza.jpg") | pictureList.kif 6767-6767 | Piedmont is a subclass of land area |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/1/ 12/ Piemonterisaie.jpg") | pictureList.kif 7556-7556 | Piedmont is a subclass of land area |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Borgomanero2.jpg") | pictureList.kif 7557-7557 | Piedmont is a subclass of land area |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Monferrato_1.jpg") | pictureList.kif 7558-7558 | Piedmont is a subclass of land area |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/2/ 2d/ Macugnaga.JPG") | pictureList.kif 7559-7559 | Piedmont is a subclass of land area |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/3/ 3a/ Torino_panoramadaicappuccini.jpg") | pictureList.kif 7560-7560 | Piedmont is a subclass of land area |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/6/ 6b/ Torino_Palazzo_Carignano_jpg.jpg") | pictureList.kif 7561-7561 | Piedmont is a subclass of land area |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Asti_Cathedral.jpg") | pictureList.kif 7562-7562 | Piedmont is a subclass of land area |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/7/ 72/ Sacro_Monte_di_Ghiffa.JPG") | pictureList.kif 7563-7563 | Piedmont is a subclass of land area |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/7/ 75/ Sacro_Monte_di_Crea._Cappella_del_Paradiso3.jpg") | pictureList.kif 7564-7564 | Piedmont is a subclass of land area |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/8/ 8d/ Torino_palazzo_reale_%28v2%29.jpg") | pictureList.kif 7565-7565 | Piedmont is a subclass of land area |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ Castello_valentino_-_fronte.jpg") | pictureList.kif 7566-7566 | Piedmont is a subclass of land area |
| (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 | Piedmont is a subclass of land area |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ Biella_Teatro_Sociale-2-bis.jpg") | pictureList.kif 7568-7568 | Piedmont is a subclass of land area |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/a/ af/ Italy_Regions_Piedmont_Map.png") | pictureList.kif 7569-7569 | Piedmont is a subclass of land area |
| (externalImage Piedmont "http://upload.wikimedia.org/wikipedia/en/c/c9/Piedmont_Provinces.png") | pictureList.kif 7570-7570 | Piedmont is a subclass of land area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?piedmont Piedmont) (exists (?mountains) (and (instance ?mountains MountainousTerrain) (orientation ?piedmont ?mountains Adjacent)))) |
Geography.kif 5703-5708 | If X is an instance of piedmont, then there exists Y such that Y is an instance of mountainous terrain and X is adjacent to Y |
| (=> (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 5710-5720 | If All of the following hold: (1) X is an instance of piedmont (2) mountainous terrain is an attribute of Y (3) X is adjacent to Y (4) Z is an instance of unit of length (5) the height of X is W Z(s) (6) the height of Y is V Z(s), then V is greater than W |
|