Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Piedmont
Piedmont
more pictures...

appearance as argument number 1
-------------------------


(documentation Piedmont EnglishLanguage "A Piedmont is a LandArea at the foot of mountains.") Geography.kif 4197-4197
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/0/ 0f/ Verbania_Pallanza.jpg") pictureList.kif 6768-6768
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/1/ 12/ Piemonterisaie.jpg") pictureList.kif 7557-7557
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Borgomanero2.jpg") pictureList.kif 7558-7558
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Monferrato_1.jpg") pictureList.kif 7559-7559
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/2/ 2d/ Macugnaga.JPG") pictureList.kif 7560-7560
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/3/ 3a/ Torino-panoramadaicappuccini.jpg") pictureList.kif 7561-7561
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/6/ 6b/ Torino-Palazzo_Carignano-jpg.jpg") pictureList.kif 7562-7562
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Asti_Cathedral.jpg") pictureList.kif 7563-7563
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/7/ 72/ Sacro_Monte_di_Ghiffa.JPG") pictureList.kif 7564-7564
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/7/ 75/ Sacro_Monte_di_Crea._Cappella_del_Paradiso3.jpg") pictureList.kif 7565-7565
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/8/ 8d/ Torino_palazzo_reale_%28v2%29.jpg") pictureList.kif 7566-7566
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/a/ af/ Italy_Regions_Piedmont_Map.png") pictureList.kif 7570-7570
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ Castello_valentino_-_fronte.jpg") pictureList.kif 7567-7567
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/e/ e7/ Cap._9%2C_La_terza_caduta._Cap._11%2C_La_crocefissione.JPG") pictureList.kif 7568-7568
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ Biella-Teatro_Sociale-2-bis.jpg") pictureList.kif 7569-7569
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/en/c/c9/Piedmont_Provinces.png") pictureList.kif 7571-7571
(subclass Piedmont LandArea) Geography.kif 4196-4196 Piedmont è una sottoclasse di SuperficieTerrestre

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Piedmont "山前") domainEnglishFormat.kif 45812-45812
(termFormat ChineseTraditionalLanguage Piedmont "山前") domainEnglishFormat.kif 45811-45811
(termFormat EnglishLanguage Piedmont "piedmont") domainEnglishFormat.kif 45810-45810

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 4206-4216
(=>
    (instance ?piedmont Piedmont)
    (exists (?mountains)
        (and
            (instance ?mountains MountainousTerrain)
            (orientation ?piedmont ?mountains Adjacent))))
Geography.kif 4199-4204


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners