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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - slopeGradient
slopeGradient

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


(documentation slopeGradient EnglishLanguage "(slopeGradient ?AREA ?SLOPE) means that in the LandArea ?AREA there is an incline of ?slope, where ?SLOPE is the percent of vertical rise over horizontal distance. slopeGradient gives an approximate value for nonzero slope over ?AREA, without regard to orientation. For example, (slopeGradient ?AREA 0.10) means that there is a 10% incline across the area, without specifying the orientation in which the land rises or falls. Also see slopeGradientTowardsOrientation.") Geography.kif 1630-1637
(domain slopeGradient 1 LandArea) Geography.kif 1627-1627
(domain slopeGradient 2 NonnegativeRealNumber) Geography.kif 1628-1628
(instance slopeGradient BinaryPredicate) Geography.kif 1626-1626

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


(format ChineseLanguage slopeGradient "%2 %n 是 %1 的 slope 梯度") domainEnglishFormat.kif 2311-2311
(format ChineseTraditionalLanguage slopeGradient "%2 %n 是 %1 的 slope 梯度") domainEnglishFormat.kif 2310-2310
(format EnglishLanguage slopeGradient "%2 is %n a slope gradient of %1") domainEnglishFormat.kif 2309-2309
(termFormat ChineseLanguage slopeGradient "坡度") domainEnglishFormat.kif 53347-53347
(termFormat ChineseTraditionalLanguage slopeGradient "坡度") domainEnglishFormat.kif 53346-53346
(termFormat EnglishLanguage slopeGradient "slope gradient") domainEnglishFormat.kif 53345-53345

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


(=>
    (and
        (attribute ?AREA FlatTerrain)
        (part ?ZONE ?AREA)
        (slopeGradient ?ZONE ?SLOPE))
    (greaterThan 0.005 ?SLOPE))
Geography.kif 1707-1712
(=>
    (and
        (attribute ?AREA LowTerrain)
        (part ?ZONE ?AREA)
        (slopeGradient ?ZONE ?SLOPE))
    (greaterThan 0.03 ?SLOPE))
Geography.kif 1719-1724

consequent
-------------------------


(=>
    (attribute ?AREA SteepTerrain)
    (exists (?ZONE)
        (and
            (part ?ZONE ?AREA)
            (slopeGradient ?ZONE ?SLOPE)
            (greaterThan ?SLOPE 0.1))))
Geography.kif 1732-1738
(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners