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 3911-3912
(externalImage Cliff "http://upload.wikimedia.org/wikipedia/commons/d/d8/ Ireland_cliffs_of_moher2.jpg") pictureList.kif 4610-4610
(subclass Cliff SlopedArea) Geography.kif 3910-3910 subclass Cliff and SlopedArea

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


(termFormat ChineseLanguage Cliff "悬崖") domainEnglishFormat.kif 15055-15055
(termFormat ChineseTraditionalLanguage Cliff "懸崖") domainEnglishFormat.kif 15054-15054
(termFormat EnglishLanguage Cliff "cliff") domainEnglishFormat.kif 15053-15053

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


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


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