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 1677-1684 | |
(domain slopeGradient 1 LandArea) | Geography.kif 1674-1674 | Il numero 1 argomenti di slopeGradient è un istanza di SuperficieTerrestre |
(domain slopeGradient 2 NonnegativeRealNumber) | Geography.kif 1675-1675 | Il numero 2 argomenti di slopeGradient è un istanza di NumeroRealeNonNegativo |
(instance slopeGradient BinaryPredicate) | Geography.kif 1673-1673 | slopeGradient è un' istanza di PredicatoBinario |
appearance as argument number 2 |
(format ChineseLanguage slopeGradient "%2 %n 是 %1 的 slope 梯度") | domainEnglishFormat.kif 2315-2315 | |
(format ChineseTraditionalLanguage slopeGradient "%2 %n 是 %1 的 slope 梯度") | domainEnglishFormat.kif 2314-2314 | |
(format EnglishLanguage slopeGradient "%2 is %n a slope gradient of %1") | domainEnglishFormat.kif 2313-2313 | |
(termFormat ChineseLanguage slopeGradient "坡度") | domainEnglishFormat.kif 53408-53408 | |
(termFormat ChineseTraditionalLanguage slopeGradient "坡度") | domainEnglishFormat.kif 53407-53407 | |
(termFormat EnglishLanguage slopeGradient "slope gradient") | domainEnglishFormat.kif 53406-53406 |
antecedent |
(=> (and (attribute ?AREA FlatTerrain) (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE)) (greaterThan 0.005 ?SLOPE)) |
Geography.kif 1754-1759 |
|
(=> (and (attribute ?AREA LowTerrain) (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE)) (greaterThan 0.03 ?SLOPE)) |
Geography.kif 1766-1771 |
|
consequent |
(=> (attribute ?AREA SteepTerrain) (exists (?ZONE ?SLOPE) (and (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE) (greaterThan ?SLOPE 0.1)))) |
Geography.kif 1779-1785 |
|
(=> (instance ?cliff Cliff) (exists (?slope) (and (slopeGradient ?cliff ?slope) (greaterThan ?slope 0.60) (greaterThan 1.20 ?slope)))) |
Geography.kif 4127-4133 |
|