  utterance
|
|
Sigma KEE - cloudCoverFraction
|
appearance as argument number 1
|
|
|
|
appearance as argument number 2
|
|
|
|
antecedent
|
|
|
(=>
(and
(instance ?AREA GeographicArea)
(instance ?WEATHER ClearWeather)
(eventLocated ?WEATHER ?AREA)
(cloudCoverFraction ?AREA ?FRACTION))
(lessThan ?FRACTION 0.3)) |
Weather.kif 1569-1575 |
If X is an instance of geographic area, Y is an instance of clear weather, Y is located at X, and Z is a cloud cover fraction of X, then Z is less than 0.3 |
(=>
(and
(instance ?AREA GeographicArea)
(instance ?WEATHER PartlyCloudyWeather)
(eventLocated ?WEATHER ?AREA)
(cloudCoverFraction ?AREA ?FRACTION))
(and
(greaterThanOrEqualTo ?FRACTION 0.3)
(lessThanOrEqualTo ?FRACTION 0.7))) |
Weather.kif 1594-1602 |
If X is an instance of geographic area, Y is an instance of partly cloudy weather, Y is located at X, and Z is a cloud cover fraction of X, then Z is greater than or equal to 0.3 and Z is less than or equal to 0.7 |
(=>
(and
(instance ?AREA GeographicArea)
(instance ?WEATHER OvercastWeather)
(eventLocated ?WEATHER ?AREA)
(cloudCoverFraction ?AREA ?FRACTION))
(greaterThan ?FRACTION 0.7)) |
Weather.kif 1620-1626 |
If X is an instance of geographic area, Y is an instance of overcast weather, Y is located at X, and Z is a cloud cover fraction of X, then Z is greater than 0.7 |
|
consequent
|
|
|
(=>
(and
(instance ?AREA GeographicArea)
(instance ?WEATHER ClearWeather)
(eventLocated ?WEATHER ?AREA))
(exists (?FRACTION)
(and
(cloudCoverFraction ?AREA ?FRACTION)
(lessThan ?FRACTION 0.3)))) |
Weather.kif 1559-1567 |
If X is an instance of geographic area, Y is an instance of clear weather, and Y is located at X, then there exists Z such that Z is a cloud cover fraction of X and Z is less than 0.3 |
(=>
(and
(instance ?AREA GeographicArea)
(instance ?WEATHER PartlyCloudyWeather)
(eventLocated ?WEATHER ?AREA))
(exists (?FRACTION)
(and
(cloudCoverFraction ?AREA ?FRACTION)
(greaterThanOrEqualTo ?FRACTION 0.3)
(lessThanOrEqualTo ?FRACTION 0.7)))) |
Weather.kif 1583-1592 |
If X is an instance of geographic area, Y is an instance of partly cloudy weather, and Y is located at X, then there exists Z such that Z is a cloud cover fraction of X, Z is greater than, equal to 0.3, and Z is less than, or equal to 0.7 |
(=>
(and
(instance ?AREA GeographicArea)
(instance ?WEATHER OvercastWeather)
(eventLocated ?WEATHER ?AREA))
(exists (?FRACTION)
(and
(cloudCoverFraction ?AREA ?FRACTION)
(greaterThan ?FRACTION 0.7)))) |
Weather.kif 1610-1618 |
If X is an instance of geographic area, Y is an instance of overcast weather, and Y is located at X, then there exists Z such that Z is a cloud cover fraction of X and Z is greater than 0.7 |
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
