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 4435-4436
(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 4433-4433 Valley is a subclass of land form
(subclass Valley LowlandArea) Geography.kif 4434-4434 Valley is a subclass of lowland area

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


(termFormat ChineseLanguage Valley "谷") domainEnglishFormat.kif 61196-61196
(termFormat ChineseTraditionalLanguage Valley "谷") domainEnglishFormat.kif 61195-61195
(termFormat EnglishLanguage Valley "valley") domainEnglishFormat.kif 61194-61194

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


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