Mountain more pictures... |
appearance as argument number 1 |
(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 4029-4030 | |
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/1/ 1b/ Bierstadt_Lake,_Rocky_Mountain_National_Park,_USA.jpg") | pictureList-ImageNet.kif 669-669 | |
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/2/ 24/ Mount_Rainier_21080.JPG") | pictureList-ImageNet.kif 690-690 | |
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/2/ 2d/ Mount_Wilhelm.jpg") | pictureList-ImageNet.kif 665-665 | |
(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 | |
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/3/ 36/ Mountain_of_marble.jpg") | pictureList-ImageNet.kif 678-678 | |
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/6/ 60/ Mount_Nebo_Utah.jpg") | pictureList-ImageNet.kif 672-672 | |
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/6/ 63/ Mount_Le_Conte_Panorama.JPG") | pictureList-ImageNet.kif 667-667 | |
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Yucca_Mountain_crest_south.jpg") | pictureList-ImageNet.kif 684-684 | |
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/7/ 71/ Adams87_mount_adams_from_trout_lake_11-05-87.jpg") | pictureList-ImageNet.kif 691-691 | |
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/7/ 72/ Mount_Reynolds_at_Logan_Pass.jpg") | pictureList-ImageNet.kif 687-687 | |
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/7/ 78/ Antelao.jpg") | pictureList.kif 958-958 | |
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/7/ 78/ Mount_Olympus_in_the_distance.jpg") | pictureList-ImageNet.kif 676-676 | |
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/e/ e2/ Mount-Yamnuska-szmurlo.jpg") | pictureList-ImageNet.kif 685-685 | |
(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 | |
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 13/ Montagna_Belmonte.JPG/ 425px-Montagna_Belmonte.JPG") | pictureList-ImageNet.kif 680-680 | |
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 22/ Nanga-Parbat.jpg/ 752px-Nanga-Parbat.jpg") | pictureList-ImageNet.kif 681-681 | |
(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 | |
(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 | |
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 56/ Glasshouse_mountain.jpg/ 300px-Glasshouse_mountain.jpg") | pictureList-ImageNet.kif 668-668 | |
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 73/ MountGilbertNV.jpg/ 300px-MountGilbertNV.jpg") | pictureList-ImageNet.kif 694-694 | |
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 77/ Mount_Pugh.jpg/ 300px-Mount_Pugh.jpg") | pictureList-ImageNet.kif 666-666 | |
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a8/ Fitz_Roy_framed_trees_(colour_balans).jpg/ 450px-Fitz_Roy_framed_trees_(colour_balans).jpg") | pictureList-ImageNet.kif 689-689 | |
(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 | |
(externalImage Mountain "http://upload.wikimedia.org/wikipedia/en/6/64/Mount_Tom_Massachusetts.jpg") | pictureList-ImageNet.kif 677-677 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 2 |
(subclass VolcanicMountain Mountain) | Geography.kif 4078-4078 | |
(termFormat ChineseLanguage Mountain "山") | domainEnglishFormat.kif 38975-38975 | |
(termFormat ChineseTraditionalLanguage Mountain "山") | domainEnglishFormat.kif 38974-38974 | |
(termFormat EnglishLanguage Mountain "mountain") | domainEnglishFormat.kif 38973-38973 |
antecedent |
(=> (instance ?Mountain Mountain) (exists (?Incline) (and (instance ?Incline SlopedArea) (attribute ?Incline SteepTerrain) (part ?Incline ?Mountain)))) |
Geography.kif 4032-4038 |
consequent |
(=> (and (instance ?Range MountainRange) (part ?Mountain1 ?Range)) (exists (?Mountain2) (and (component ?Mountain2 ?Range) (instance ?Mountain2 Mountain) (meetsSpatially ?Mountain1 ?Mountain2)))) |
Geography.kif 4016-4024 | |
(=> (attribute ?AREA MountainousTerrain) (exists (?MTN) (and (instance ?MTN Mountain) (located ?MTN ?AREA)))) |
Geography.kif 1808-1813 | |
(=> (attribute ?AREA MountainousTerrain) (exists (?MTN) (and (instance ?MTN Mountain) (part ?MTN ?AREA)))) |
Geography.kif 1801-1806 |