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 4098-4099
(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 4147-4147 Volcanic mountain is a subclass of mountain
(termFormat ChineseLanguage Mountain "山") domainEnglishFormat.kif 39001-39001 Volcanic mountain is a subclass of mountain
(termFormat ChineseTraditionalLanguage Mountain "山") domainEnglishFormat.kif 39000-39000 Volcanic mountain is a subclass of mountain
(termFormat EnglishLanguage Mountain "mountain") domainEnglishFormat.kif 38999-38999 Volcanic mountain is a subclass of mountain

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


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

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


(=>
    (and
        (instance ?Range MountainRange)
        (part ?Mountain1 ?Range))
    (exists (?Mountain2)
        (and
            (component ?Mountain2 ?Range)
            (instance ?Mountain2 Mountain)
            (meetsSpatially ?Mountain1 ?Mountain2))))		 Geography.kif 4085-4093
(=>
    (attribute ?AREA MountainousTerrain)
    (exists (?MTN)
        (and
            (instance ?MTN Mountain)
            (located ?MTN ?AREA))))		 Geography.kif 1796-1801
(=>
    (attribute ?AREA MountainousTerrain)
    (exists (?MTN)
        (and
            (instance ?MTN Mountain)
            (part ?MTN ?AREA))))		 Geography.kif 1789-1794


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