TreeView Knowledge Base Browser - slopeGradient

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 3145-3152
(domain slopeGradient 1 LandArea)	Geography.kif 3142-3142	The number 1 argument of slope gradient is an instance of land area
(domain slopeGradient 2 NonnegativeRealNumber)	Geography.kif 3143-3143	The number 2 argument of slope gradient is an instance of nonnegative real number
(instance slopeGradient BinaryPredicate)	Geography.kif 3141-3141	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 53411-53411
(termFormat ChineseTraditionalLanguage slopeGradient "坡度")	domainEnglishFormat.kif 53410-53410
(termFormat EnglishLanguage slopeGradient "slope gradient")	domainEnglishFormat.kif 53409-53409

antecedent

(=> (and (attribute ?AREA FlatTerrain) (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE)) (greaterThan 0.005 ?SLOPE))	Geography.kif 3222-3227	If flat terrain is an attribute of an object and a land area is a part of the object and a nonnegative real number is a slope gradient of the land area, then 0.005 is greater than the nonnegative real number
(=> (and (attribute ?AREA LowTerrain) (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE)) (greaterThan 0.03 ?SLOPE))	Geography.kif 3234-3239	If low terrain is an attribute of an object and a land area is a part of the object and a nonnegative real number is a slope gradient of the land area, then 0.03 is greater than the nonnegative real number

consequent

(=> (attribute ?AREA SteepTerrain) (exists (?ZONE ?SLOPE) (and (part ?ZONE ?AREA) (slopeGradient ?ZONE ?SLOPE) (greaterThan ?SLOPE 0.1))))	Geography.kif 3247-3253	If steep terrain is an attribute of an object, then there exist a land area and a nonnegative real number such that the land area is a part of the object and the nonnegative real number is a slope gradient of the land area and the nonnegative real number is greater than 0.1
(=> (instance ?cliff Cliff) (exists (?slope) (and (slopeGradient ?cliff ?slope) (greaterThan ?slope 0.60) (greaterThan 1.20 ?slope))))	Geography.kif 5679-5685	If a land area is an instance of cliff, then there exists a nonnegative real number such that the nonnegative real number is a slope gradient of the land area and the nonnegative real number is greater than 0.60 and 1.20 is greater than the nonnegative real number

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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