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 4331-4332
(externalImage Cliff "http://upload.wikimedia.org/wikipedia/commons/d/d8/ Ireland_cliffs_of_moher2.jpg") pictureList.kif 4608-4608
(subclass Cliff SlopedArea) Geography.kif 4330-4330 CliffSlopedAreasubclass では

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


(termFormat ChineseLanguage Cliff "悬崖") domainEnglishFormat.kif 15129-15129
(termFormat ChineseTraditionalLanguage Cliff "懸崖") domainEnglishFormat.kif 15128-15128
(termFormat EnglishLanguage Cliff "cliff") domainEnglishFormat.kif 15127-15127

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


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


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