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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MountainousTerrain

Sigma KEE - MountainousTerrain
MountainousTerrain
more pictures...

appearance as argument number 1
-------------------------


(documentation MountainousTerrain EnglishLanguage "An area of MountainousTerrain is an area of rugged terrain in which there are many mountains.") Geography.kif 1790-1791
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 09/ BenNevis2005.jpg") pictureList.kif 8604-8604
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1c/ Mount_Feathertop_and_Razorback.jpg") pictureList.kif 9445-9445
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 36/ Mount_Yu_Shan_-_Taiwan.jpg") pictureList.kif 9446-9446
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4e/ Mt_erebus.jpg") pictureList.kif 9447-9447
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ a/ ab/ Himalaya_annotated.jpg") pictureList.kif 9448-9448
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ b/ b4/ Olympus_Litochoro.JPG") pictureList.kif 9449-9449
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ en/ a/ a3/ Appalachian_quebec.jpg") pictureList.kif 9450-9450
(instance MountainousTerrain TerrainAttribute) Geography.kif 1787-1787 MountainousTerrain est une instance de TerrainAttribute
(subAttribute MountainousTerrain SteepTerrain) Geography.kif 1788-1788 MountainousTerrain est un sous-attribut de SteepTerrain

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage MountainousTerrain "多山的地形") domainEnglishFormat.kif 38979-38979
(termFormat ChineseTraditionalLanguage MountainousTerrain "多山的地形") domainEnglishFormat.kif 38978-38978
(termFormat EnglishLanguage MountainousTerrain "mountainous terrain") domainEnglishFormat.kif 38977-38977

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


(=>
    (and
        (instance ?piedmont Piedmont)
        (attribute ?mountains MountainousTerrain)
        (orientation ?piedmont ?mountains Adjacent)
        (instance ?U UnitOfLength)
        (height ?piedmont
            (MeasureFn ?height1 ?U))
        (height ?mountains
            (MeasureFn ?height2 ?U)))
    (greaterThan ?height2 ?height1))
Geography.kif 4206-4216
(=>
    (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
(=>
    (attribute ?AREA MountainousTerrain)
    (instance ?AREA LandArea))
Geography.kif 1793-1795
(=>
    (attribute ?AREA MountainousTerrain)
    (instance ?AREA UplandArea))
Geography.kif 1797-1799

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


(=>
    (instance ?AREA MountainRange)
    (attribute ?AREA MountainousTerrain))
Geography.kif 1815-1817
(=>
    (instance ?piedmont Piedmont)
    (exists (?mountains)
        (and
            (instance ?mountains MountainousTerrain)
            (orientation ?piedmont ?mountains Adjacent))))
Geography.kif 4199-4204


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