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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Valley
Valley(valley)
more pictures...
Grand_Canyon, Great_Rift_Valley, Loire_Valley, Olduvai_Gorge, San_Fernando_Valley, San_Joaquin_Valley, Shenandoah_Valley, dale, glen, gorge, gulf, holler, hollow, nullah, ravine, rift_valley, vale, valley

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 4228-4229
(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 1282-1282
(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 4226-4226 Valley is a subclass of land form
(subclass Valley LowlandArea) Geography.kif 4227-4227 Valley is a subclass of lowland area

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


(termFormat ChineseLanguage Valley "谷") domainEnglishFormat.kif 61202-61202
(termFormat ChineseTraditionalLanguage Valley "谷") domainEnglishFormat.kif 61201-61201
(termFormat EnglishLanguage Valley "valley") domainEnglishFormat.kif 61200-61200

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


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