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 4124-4125
(externalImage Cliff "http://upload.wikimedia.org/wikipedia/commons/d/d8/ Ireland_cliffs_of_moher2.jpg") pictureList.kif 4609-4609
(subclass Cliff SlopedArea) Geography.kif 4123-4123 Cliff is a subclass of sloped area

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


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

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


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


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