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 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 子類 and 土地形式
(subclass Valley LowlandArea) Geography.kif 4227-4227 子類 and 低地地區

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


(termFormat ChineseLanguage Valley "谷") domainEnglishFormat.kif 61204-61204
(termFormat ChineseTraditionalLanguage Valley "谷") domainEnglishFormat.kif 61203-61203
(termFormat EnglishLanguage Valley "valley") domainEnglishFormat.kif 61202-61202

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