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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Valley
Valley
more pictures...

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


(documentation Valley EnglishLanguage "A Valley is an area of low-lying land flanked by higher ground. Valleys typically contain a stream or river flowing along the valley floor.") Geography.kif 4066-4067
(externalImage Valley "http://upload.wikimedia.org/wikipedia/commons/archive/ 1/ 16/ 20050809085322!014_Dal_Middelgebergte_vanuit_tempel_Thraciërs.jpeg") pictureList-ImageNet.kif 736-736
(externalImage Valley "http://upload.wikimedia.org/wikipedia/commons/f/f3/ Fryatt_Valley_III.jpg") pictureList-ImageNet.kif 737-737
(externalImage Valley "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ ce/ Vallata_dell'amendolea.jpg/ 300px-Vallata_dell'amendolea.jpg") pictureList-ImageNet.kif 734-734
(externalImage Valley "http://upload.wikimedia.org/wikipedia/en/thumb/d/ de/ ValleyProfile3.png/ 300px-ValleyProfile3.png") pictureList.kif 1283-1283
(externalImage Valley "http://upload.wikimedia.org/wikipedia/it/thumb/2/ 2c/ Siano_(vista_dell'entrata_nella_vallata_dal_monte_Le_Porche).jpg/ 120px-Siano_(vista_dell'entrata_nella_vallata_dal_monte_Le_Porche).jpg") pictureList-ImageNet.kif 735-735
(externalImage Valley "http://upload.wikimedia.org/wikipedia/it/thumb/f/ f9/ Vallata-Barrea.jpg/ 350px-Vallata-Barrea.jpg") pictureList-ImageNet.kif 733-733
(subclass Valley LandForm) Geography.kif 4064-4064
(subclass Valley LowlandArea) Geography.kif 4065-4065

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


(termFormat ChineseLanguage Valley "谷") domainEnglishFormat.kif 61168-61168
(termFormat ChineseTraditionalLanguage Valley "谷") domainEnglishFormat.kif 61167-61167
(termFormat EnglishLanguage Valley "valley") domainEnglishFormat.kif 61166-61166

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


(=>
    (and
        (instance ?valley Valley)
        (instance ?area LandArea)
        (instance ?U UnitOfLength)
        (earthAltitude ?valley
            (MeasureFn ?height1 ?U))
        (earthAltitude ?area
            (MeasureFn ?height2 ?U))
        (orientation ?valley ?area Adjacent))
    (greaterThan ?height2 ?height1))
Geography.kif 4069-4079


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