Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Valley(valley)
.jpg/120px_Siano_(vista_dell'entrata_nella_vallata_dal_monte_Le_Porche).jpg)
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 |
|
|
| (subclass Valley LandForm) | Geography.kif 5730-5730 | Valley is a subclass of land form |
| (subclass Valley LowlandArea) | Geography.kif 5731-5731 | Valley is a subclass of lowland area |
| (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 5732-5733 | Valley is a subclass of lowland area |
| (externalImage Valley "http://upload.wikimedia.org/wikipedia/it/thumb/f/ f9/ Vallata_Barrea.jpg/ 350px_Vallata_Barrea.jpg") | pictureList-ImageNet.kif 733-733 | Valley is a subclass of lowland area |
| (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 | Valley is a subclass of lowland area |
| (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 | Valley is a subclass of lowland area |
| (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 | Valley is a subclass of lowland area |
| (externalImage Valley "http://upload.wikimedia.org/wikipedia/commons/f/f3/ Fryatt_Valley_III.jpg") | pictureList-ImageNet.kif 737-737 | Valley is a subclass of lowland area |
| (externalImage Valley "http://upload.wikimedia.org/wikipedia/en/thumb/d/ de/ ValleyProfile3.png/ 300px_ValleyProfile3.png") | pictureList.kif 1282-1282 | Valley is a subclass of lowland area |
| appearance as argument number 2 |
|
|
| 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 5735-5745 | If All of the following hold: (1) X is an instance of valley (2) Y is an instance of land area (3) Z is an instance of unit of length (4) X is W Z(s) above the ground (5) Y is V Z(s) above the ground (6) X is adjacent to Y, then V is greater than W |
|