Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mountain

Sigma KEE - Mountain
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
-------------------------


(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 3951-3952
(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 959-959
(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 4000-4000 Volcanic mountain is a subclass of mountain
(termFormat ChineseLanguage Mountain "山") domainEnglishFormat.kif 38958-38958
(termFormat ChineseTraditionalLanguage Mountain "山") domainEnglishFormat.kif 38957-38957
(termFormat EnglishLanguage Mountain "mountain") domainEnglishFormat.kif 38956-38956

antecedent
-------------------------


(=>
    (instance ?Mountain Mountain)
    (exists (?Incline)
        (and
            (instance ?Incline SlopedArea)
            (attribute ?Incline SteepTerrain)
            (part ?Incline ?Mountain))))
Geography.kif 3954-3960

consequent
-------------------------


(=>
    (and
        (instance ?Range MountainRange)
        (part ?Mountain1 ?Range))
    (exists (?Mountain2)
        (and
            (component ?Mountain2 ?Range)
            (instance ?Mountain2 Mountain)
            (meetsSpatially ?Mountain1 ?Mountain2))))
Geography.kif 3938-3946
(=>
    (attribute ?AREA MountainousTerrain)
    (exists (?MTN)
        (and
            (instance ?MTN Mountain)
            (located ?MTN ?AREA))))
Geography.kif 1811-1816
(=>
    (attribute ?AREA MountainousTerrain)
    (exists (?MTN)
        (and
            (instance ?MTN Mountain)
            (part ?MTN ?AREA))))
Geography.kif 1804-1809


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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