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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mountain
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 3867-3868
(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 3916-3916
(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 3870-3876

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


(=>
    (and
        (instance ?Range MountainRange)
        (part ?Mountain1 ?Range))
    (exists (?Mountain2)
        (and
            (component ?Mountain2 ?Range)
            (instance ?Mountain2 Mountain)
            (meetsSpatially ?Mountain1 ?Mountain2))))
Geography.kif 3854-3862
(=>
    (attribute ?AREA MountainousTerrain)
    (exists (?MTN)
        (and
            (instance ?MTN Mountain)
            (located ?MTN ?AREA))))
Geography.kif 1779-1784
(=>
    (attribute ?AREA MountainousTerrain)
    (exists (?MTN)
        (and
            (instance ?MTN Mountain)
            (part ?MTN ?AREA))))
Geography.kif 1772-1777


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