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 3984-3984
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/0/ 0f/ Verbania_Pallanza.jpg") pictureList.kif 6769-6769
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/1/ 12/ Piemonterisaie.jpg") pictureList.kif 7559-7559
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Borgomanero2.jpg") pictureList.kif 7560-7560
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Monferrato_1.jpg") pictureList.kif 7561-7561
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/2/ 2d/ Macugnaga.JPG") pictureList.kif 7562-7562
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/3/ 3a/ Torino-panoramadaicappuccini.jpg") pictureList.kif 7563-7563
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/6/ 6b/ Torino-Palazzo_Carignano-jpg.jpg") pictureList.kif 7564-7564
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Asti_Cathedral.jpg") pictureList.kif 7565-7565
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/7/ 72/ Sacro_Monte_di_Ghiffa.JPG") pictureList.kif 7566-7566
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/7/ 75/ Sacro_Monte_di_Crea._Cappella_del_Paradiso3.jpg") pictureList.kif 7567-7567
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/8/ 8d/ Torino_palazzo_reale_%28v2%29.jpg") pictureList.kif 7568-7568
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/a/ af/ Italy_Regions_Piedmont_Map.png") pictureList.kif 7572-7572
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/c/ cc/ Castello_valentino_-_fronte.jpg") pictureList.kif 7569-7569
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/e/ e7/ Cap._9%2C_La_terza_caduta._Cap._11%2C_La_crocefissione.JPG") pictureList.kif 7570-7570
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ Biella-Teatro_Sociale-2-bis.jpg") pictureList.kif 7571-7571
(externalImage Piedmont "http://upload.wikimedia.org/wikipedia/en/c/c9/Piedmont_Provinces.png") pictureList.kif 7573-7573
(subclass Piedmont LandArea) Geography.kif 3983-3983 Piedmont is a subclass of land area

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


(termFormat ChineseLanguage Piedmont "山前") domainEnglishFormat.kif 45709-45709
(termFormat ChineseTraditionalLanguage Piedmont "山前") domainEnglishFormat.kif 45708-45708
(termFormat EnglishLanguage Piedmont "piedmont") domainEnglishFormat.kif 45707-45707

antecedent
-------------------------


(=>
    (and
        (instance ?piedmont Piedmont)
        (attribute ?mountains MountainousTerrain)
        (orientation ?piedmont ?mountains Adjacent)
        (height ?piedmont ?height1)
        (height ?mountains ?height2)
        (successorAttributeClosure ?height1 ?height2))
    (greaterThan ?height2 ?height1))
Geography.kif 3993-4001
(=>
    (instance ?piedmont Piedmont)
    (exists (?mountains)
        (and
            (instance ?mountains MountainousTerrain)
            (orientation ?piedmont ?mountains Adjacent))))
Geography.kif 3986-3991


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners