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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1761-1762
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 09/ BenNevis2005.jpg") pictureList.kif 8606-8606
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1c/ Mount_Feathertop_and_Razorback.jpg") pictureList.kif 9449-9449
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 36/ Mount_Yu_Shan_-_Taiwan.jpg") pictureList.kif 9450-9450
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4e/ Mt_erebus.jpg") pictureList.kif 9451-9451
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ a/ ab/ Himalaya_annotated.jpg") pictureList.kif 9452-9452
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ commons/ b/ b4/ Olympus_Litochoro.JPG") pictureList.kif 9453-9453
(externalImage MountainousTerrain "http://upload.wikimedia.org/wikipedia/ en/ a/ a3/ Appalachian_quebec.jpg") pictureList.kif 9454-9454
(instance MountainousTerrain TerrainAttribute) Geography.kif 1758-1758
(subAttribute MountainousTerrain SteepTerrain) Geography.kif 1759-1759

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


(termFormat ChineseLanguage MountainousTerrain "多山的地形") domainEnglishFormat.kif 38964-38964
(termFormat ChineseTraditionalLanguage MountainousTerrain "多山的地形") domainEnglishFormat.kif 38963-38963
(termFormat EnglishLanguage MountainousTerrain "mountainous terrain") domainEnglishFormat.kif 38962-38962

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 4044-4054
(=>
    (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
(=>
    (attribute ?AREA MountainousTerrain)
    (instance ?AREA LandArea))
Geography.kif 1764-1766
(=>
    (attribute ?AREA MountainousTerrain)
    (instance ?AREA UplandArea))
Geography.kif 1768-1770

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


(=>
    (instance ?AREA MountainRange)
    (attribute ?AREA MountainousTerrain))
Geography.kif 1786-1788
(=>
    (instance ?piedmont Piedmont)
    (exists (?mountains)
        (and
            (instance ?mountains MountainousTerrain)
            (orientation ?piedmont ?mountains Adjacent))))
Geography.kif 4037-4042


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