| 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 1835-1842 | |
| (domain slopeGradient 1 LandArea) | Geography.kif 1832-1832 | The number 1 argument of slope gradient is an instance of land area |
| (domain slopeGradient 2 NonnegativeRealNumber) | Geography.kif 1833-1833 | The number 2 argument of slope gradient is an instance of nonnegative real number |
| (instance slopeGradient BinaryPredicate) | Geography.kif 1831-1831 | slope gradient is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage slopeGradient "%2 %n 是 %1 的 slope 梯度") | domainEnglishFormat.kif 2319-2319 | |
| (format ChineseTraditionalLanguage slopeGradient "%2 %n 是 %1 的 slope 梯度") | domainEnglishFormat.kif 2318-2318 | |
| (format EnglishLanguage slopeGradient "%2 is %n a slope gradient of %1") | domainEnglishFormat.kif 2317-2317 | |
| (termFormat ChineseLanguage slopeGradient "坡度") | domainEnglishFormat.kif 53412-53412 | |
| (termFormat ChineseTraditionalLanguage slopeGradient "坡度") | domainEnglishFormat.kif 53411-53411 | |
| (termFormat EnglishLanguage slopeGradient "slope gradient") | domainEnglishFormat.kif 53410-53410 |
| antecedent |
|
|
| (=> (and (attribute ?AREA FlatTerrain) (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE)) (greaterThan 0.005 ?SLOPE)) |
Geography.kif 1912-1917 |
|
| (=> (and (attribute ?AREA LowTerrain) (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE)) (greaterThan 0.03 ?SLOPE)) |
Geography.kif 1924-1929 |
|
| consequent |
|
|
| (=> (attribute ?AREA SteepTerrain) (exists (?ZONE ?SLOPE) (and (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE) (greaterThan ?SLOPE 0.1)))) |
Geography.kif 1937-1943 |
|
| (=> (instance ?cliff Cliff) (exists (?slope) (and (slopeGradient ?cliff ?slope) (greaterThan ?slope 0.60) (greaterThan 1.20 ?slope)))) |
Geography.kif 4367-4373 |
|
|
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