Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Mountain(mountain)
more pictures... |  | Aconcagua, Adam's_Peak, Adams, Anapurna, Ancohuma, Annapurna, Ararat, Bonete, Cachi, Changtzu, Chimborazo, Communism_Peak, Coropuna, Dapsang, Denali, Dhaulagiri, El_Libertador, El_Muerto, Everest, Galan, Gasherbrum, Godwin_Austen, Gosainthan, Grand_Teton, Handies_Peak, Huascaran, Hubbard, Illampu, Illimani, K2, Kamet, Kanchanjanga, Kanchenjunga, Kilimanjaro, Kinchinjunga, Laudo, Lhotse, Liakoura, Llullaillaco, Logan, Makalu, Matterhorn, McKinley, Mercedario, Mont_Blanc, Monte_Bianco, Mount_Adams, Mount_Ararat, Mount_Bartle_Frere, Mount_Carmel... |
| appearance as argument number 1 |
|
|
| (subclass Mountain LandForm) | Geography.kif 5539-5539 | Mountain is a subclass of land form |
| (subclass Mountain UplandArea) | Geography.kif 5540-5540 | Mountain is a subclass of upland area |
| (documentation Mountain EnglishLanguage "A Mountain is a high, rocky LandForm, usually with steep sides and a pointed or rounded top, and higher than a Hill.") | Geography.kif 5542-5543 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/2/ 2d/ Mount_Wilhelm.jpg") | pictureList-ImageNet.kif 665-665 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 77/ Mount_Pugh.jpg/ 300px_Mount_Pugh.jpg") | pictureList-ImageNet.kif 666-666 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/6/ 63/ Mount_Le_Conte_Panorama.JPG") | pictureList-ImageNet.kif 667-667 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 56/ Glasshouse_mountain.jpg/ 300px_Glasshouse_mountain.jpg") | pictureList-ImageNet.kif 668-668 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Bierstadt_Lake,_Rocky_Mountain_National_Park,_USA.jpg") | pictureList-ImageNet.kif 669-669 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 29/ Aoraki_Mount_Cook_from_Hooker_Valley.jpg/ 250px_Aoraki_Mount_Cook_from_Hooker_Valley.jpg") | pictureList-ImageNet.kif 670-670 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ e5/ Mytikas_summit_PJS.jpg/ 225px_Mytikas_summit_PJS.jpg") | pictureList-ImageNet.kif 671-671 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/6/ 60/ Mount_Nebo_Utah.jpg") | pictureList-ImageNet.kif 672-672 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Adams04_mount_adams_from_st_helens_12-28-04.jpg") | pictureList-ImageNet.kif 673-673 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 52/ Golden_Mantled_Ground_Squirrel,_Mount_Rainier,_July_2006.jpg/ 300px_Golden_Mantled_Ground_Squirrel,_Mount_Rainier,_July_2006.jpg") | pictureList-ImageNet.kif 674-674 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/it/thumb/ 2/ 20/ Montagna_Pistoiese.jpg/ 300px_Montagna_Pistoiese.jpg") | pictureList-ImageNet.kif 675-675 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/7/ 78/ Mount_Olympus_in_the_distance.jpg") | pictureList-ImageNet.kif 676-676 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/en/6/64/Mount_Tom_Massachusetts.jpg") | pictureList-ImageNet.kif 677-677 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/3/ 36/ Mountain_of_marble.jpg") | pictureList-ImageNet.kif 678-678 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/en/thumb/ 2/ 2e/ Mount_Eolus.jpg/ 300px_Mount_Eolus.jpg") | pictureList-ImageNet.kif 679-679 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 13/ Montagna_Belmonte.JPG/ 425px_Montagna_Belmonte.JPG") | pictureList-ImageNet.kif 680-680 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 22/ Nanga_Parbat.jpg/ 752px_Nanga_Parbat.jpg") | pictureList-ImageNet.kif 681-681 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 04/ Mount_Scott_Antarctica.jpg/ 300px_Mount_Scott_Antarctica.jpg") | pictureList-ImageNet.kif 682-682 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/it/thumb/ 2/ 23/ Monte_Bianco.jpg/ 200px_Monte_Bianco.jpg") | pictureList-ImageNet.kif 683-683 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Yucca_Mountain_crest_south.jpg") | pictureList-ImageNet.kif 684-684 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ Mount_Yamnuska_szmurlo.jpg") | pictureList-ImageNet.kif 685-685 | Mountain is a subclass of upland area |
| (externalImage Mountain "http://upload.wikimedia.org/wikipedia/en/thumb/ 8/ 87/ Mount_Itabami.jpg/ 300px_Mount_Itabami.jpg") | pictureList-ImageNet.kif 686-686 | Mountain is a subclass of upland area |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Mountain Mountain) (exists (?Incline) (and (instance ?Incline SlopedArea) (attribute ?Incline SteepTerrain) (part ?Incline ?Mountain)))) |
Geography.kif 5545-5551 | If X is an instance of mountain, then there exists Y such that Y is an instance of sloped area, steep terrain is an attribute of Y, and Y is a part of X |
| (=> (instance ?M Mountain) (groundSurfaceType ?M Rock)) |
Geography.kif 5553-5555 | If X is an instance of mountain, then rock is a ground surface type of X |
| (=> (instance ?M Mountain) (groundSubsurfaceType ?M Rock)) |
Geography.kif 5557-5559 | If X is an instance of mountain, then rock is a ground subsurface type of X |
| consequent |
|
|
| (=> (attribute ?AREA MountainousTerrain) (exists (?MTN) (and (instance ?MTN Mountain) (part ?MTN ?AREA)))) |
Geography.kif 3252-3257 | If mountainous terrain is an attribute of X, then there exists Y such that Y is an instance of mountain and Y is a part of X |
| (=> (attribute ?AREA MountainousTerrain) (exists (?MTN) (and (instance ?MTN Mountain) (located ?MTN ?AREA)))) |
Geography.kif 3259-3264 | If mountainous terrain is an attribute of X, then there exists Y such that Y is an instance of mountain and Y is located at X |
| (=> (and (instance ?Range MountainRange) (part ?Mountain1 ?Range)) (exists (?Mountain2) (and (component ?Mountain2 ?Range) (instance ?Mountain2 Mountain) (meetsSpatially ?Mountain1 ?Mountain2)))) |
Geography.kif 5529-5537 | If X is an instance of mountain range and Y is a part of X, then there exists Z such that Z is a component of X, Z is an instance of mountain, and Y meets Z |
|