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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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 Volcanic mountain is a subclass of mountain
(termFormat ChineseLanguage Mountain "山") domainEnglishFormat.kif 38973-38973
(termFormat ChineseTraditionalLanguage Mountain "山") domainEnglishFormat.kif 38972-38972
(termFormat EnglishLanguage Mountain "mountain") domainEnglishFormat.kif 38971-38971

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


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