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 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

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


(termFormat ChineseLanguage Piedmont "山前") domainEnglishFormat.kif 45745-45745
(termFormat ChineseTraditionalLanguage Piedmont "山前") domainEnglishFormat.kif 45744-45744
(termFormat EnglishLanguage Piedmont "piedmont") domainEnglishFormat.kif 45743-45743

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