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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cliff
Cliff(cliff)
cliff, drop, drop-off

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


(documentation Cliff EnglishLanguage "A Cliff is any high, very_steep_to_perpendicular or overhanging face of rock or earth, a precipice.") Geography.kif 4193-4194
(externalImage Cliff "http://upload.wikimedia.org/wikipedia/commons/d/d8/ Ireland_cliffs_of_moher2.jpg") pictureList.kif 4608-4608
(subclass Cliff SlopedArea) Geography.kif 4192-4192 Cliff is a subclass of sloped area

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


(termFormat ChineseLanguage Cliff "悬崖") domainEnglishFormat.kif 15135-15135
(termFormat ChineseTraditionalLanguage Cliff "懸崖") domainEnglishFormat.kif 15134-15134
(termFormat EnglishLanguage Cliff "cliff") domainEnglishFormat.kif 15133-15133

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


(=>
    (instance ?cliff Cliff)
    (exists (?slope)
        (and
            (slopeGradient ?cliff ?slope)
            (greaterThan ?slope 0.60)
            (greaterThan 1.20 ?slope))))
Geography.kif 4196-4202


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