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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Piedmont
Piedmont(piedmont)
more pictures...		Piedmont, Piemonte

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


(documentation Piedmont EnglishLanguage "A Piedmont is a LandArea at the foot of mountains.") Geography.kif 4266-4266
(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 4265-4265 Piedmont is a subclass of land area

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 4275-4285
(=>
    (instance ?piedmont Piedmont)
    (exists (?mountains)
        (and
            (instance ?mountains MountainousTerrain)
            (orientation ?piedmont ?mountains Adjacent))))		 Geography.kif 4268-4273


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