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 4297-4298
(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 4295-4295 Valley is a subclass of land form
(subclass Valley LowlandArea) Geography.kif 4296-4296 Valley is a subclass of lowland area

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


(termFormat ChineseLanguage Valley "谷") domainEnglishFormat.kif 61225-61225
(termFormat ChineseTraditionalLanguage Valley "谷") domainEnglishFormat.kif 61224-61224
(termFormat EnglishLanguage Valley "valley") domainEnglishFormat.kif 61223-61223

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


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