| appearance as argument number 1 |
|
| (documentation cloudCoverFraction EnglishLanguage "(cloudCoverFraction ?AREA ?AMOUNT) means that in the Region ?AREA, the fraction ?AMOUNT of the sky is covered with clouds.") | Weather.kif 484-486 | |
| (domain cloudCoverFraction 1 Region) | Weather.kif 481-481 | |
| (domain cloudCoverFraction 2 NonnegativeRealNumber) | Weather.kif 482-482 | |
| (instance cloudCoverFraction BinaryPredicate) | Weather.kif 480-480 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage cloudCoverFraction "%2 %1 %3") | domainEnglishFormat.kif 468-468 | |
| (format ChineseTraditionalLanguage cloudCoverFraction "%2 %1 %3") | domainEnglishFormat.kif 467-467 | |
| (format EnglishLanguage cloudCoverFraction "%2 is %n a cloud cover fraction of %1") | domainEnglishFormat.kif 466-466 | |
| (termFormat ChineseLanguage cloudCoverFraction "云覆盖部分") | domainEnglishFormat.kif 15235-15235 | |
| (termFormat ChineseTraditionalLanguage cloudCoverFraction "雲覆蓋部分") | domainEnglishFormat.kif 15234-15234 | |
| (termFormat EnglishLanguage cloudCoverFraction "cloud cover fraction") | domainEnglishFormat.kif 15233-15233 |
| antecedent |
|
|
| (=> (and (instance ?AREA GeographicArea) (instance ?WEATHER ClearWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (lessThan ?FRACTION 0.3)) |
Weather.kif 503-509 | |
| (=> (and (instance ?AREA GeographicArea) (instance ?WEATHER OvercastWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (greaterThan ?FRACTION 0.7)) |
Weather.kif 554-560 | |
| (=> (and (instance ?AREA GeographicArea) (instance ?WEATHER PartlyCloudyWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (and (greaterThanOrEqualTo ?FRACTION 0.3) (lessThanOrEqualTo ?FRACTION 0.7))) |
Weather.kif 528-536 |
| consequent |
|
|
| (=> (and (instance ?AREA GeographicArea) (instance ?WEATHER ClearWeather) (eventLocated ?WEATHER ?AREA)) (exists (?FRACTION) (and (cloudCoverFraction ?AREA ?FRACTION) (lessThan ?FRACTION 0.3)))) |
Weather.kif 493-501 | |
| (=> (and (instance ?AREA GeographicArea) (instance ?WEATHER OvercastWeather) (eventLocated ?WEATHER ?AREA)) (exists (?FRACTION) (and (cloudCoverFraction ?AREA ?FRACTION) (greaterThan ?FRACTION 0.7)))) |
Weather.kif 544-552 | |
| (=> (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 517-526 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners