Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| slopeGradient |
| appearance as argument number 1 |
|
| (instance slopeGradient BinaryPredicate) | Geography.kif 3124-3124 | slope gradient is an instance of binary predicate |
| (domain slopeGradient 1 LandArea) | Geography.kif 3125-3125 | The number 1 argument of slope gradient is an instance of land area |
| (domain slopeGradient 2 NonnegativeRealNumber) | Geography.kif 3126-3126 | The number 2 argument of slope gradient is an instance of nonnegative real number |
| (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 3128-3135 | The number 2 argument of slope gradient is an instance of nonnegative real number |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage slopeGradient "%2 is %n a slope gradient of %1") | domainEnglishFormat.kif 2317-2317 | |
| (format ChineseTraditionalLanguage slopeGradient "%2 %n 是 %1 的 slope 梯度") | domainEnglishFormat.kif 2318-2318 | |
| (format ChineseLanguage slopeGradient "%2 %n 是 %1 的 slope 梯度") | domainEnglishFormat.kif 2319-2319 | |
| (termFormat EnglishLanguage slopeGradient "slope gradient") | domainEnglishFormat.kif 53403-53403 | |
| (termFormat ChineseTraditionalLanguage slopeGradient "坡度") | domainEnglishFormat.kif 53404-53404 | |
| (termFormat ChineseLanguage slopeGradient "坡度") | domainEnglishFormat.kif 53405-53405 |
| antecedent |
|
|
| (=> (and (attribute ?AREA FlatTerrain) (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE)) (greaterThan 0.005 ?SLOPE)) |
Geography.kif 3205-3210 | If flat terrain is an attribute of X, Y is a part of X, and Z is a slope gradient of Y, then 0.005 is greater than Z |
| (=> (and (attribute ?AREA LowTerrain) (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE)) (greaterThan 0.03 ?SLOPE)) |
Geography.kif 3217-3222 | If low terrain is an attribute of X, Y is a part of X, and Z is a slope gradient of Y, then 0.03 is greater than Z |
| consequent |
|
|
| (=> (attribute ?AREA SteepTerrain) (exists (?ZONE ?SLOPE) (and (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE) (greaterThan ?SLOPE 0.1)))) |
Geography.kif 3230-3236 | If steep terrain is an attribute of X, then there exist Y, Z such that Y is a part of X, Z is a slope gradient of Y, and Z is greater than 0.1 |
| (=> (instance ?cliff Cliff) (exists (?slope) (and (slopeGradient ?cliff ?slope) (greaterThan ?slope 0.60) (greaterThan 1.20 ?slope)))) |
Geography.kif 5631-5637 | If X is an instance of cliff, then there exists Y such that Y is a slope gradient of X, Y is greater than 0.60, and 1.20 is greater than Y |
|