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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cliff
Cliff

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

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


(termFormat ChineseLanguage Cliff "悬崖") domainEnglishFormat.kif 15120-15120
(termFormat ChineseTraditionalLanguage Cliff "懸崖") domainEnglishFormat.kif 15119-15119
(termFormat EnglishLanguage Cliff "cliff") domainEnglishFormat.kif 15118-15118

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