| 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 857-859 | |
| (domain cloudCoverFraction 1 Region) | Weather.kif 854-854 | 云覆盖部分 的 1 数量 是 地区 的 instance |
| (domain cloudCoverFraction 2 NonnegativeRealNumber) | Weather.kif 855-855 | 云覆盖部分 的 2 数量 是 非负实数 的 instance |
| (instance cloudCoverFraction BinaryPredicate) | Weather.kif 853-853 | 云覆盖部分 是 二元谓语 的 instance |
| 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 15294-15294 | |
| (termFormat ChineseTraditionalLanguage cloudCoverFraction "雲覆蓋部分") | domainEnglishFormat.kif 15293-15293 | |
| (termFormat EnglishLanguage cloudCoverFraction "cloud cover fraction") | domainEnglishFormat.kif 15292-15292 |
| antecedent |
|
|
| (=> (and (instance ?AREA GeographicArea) (instance ?WEATHER ClearWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (lessThan ?FRACTION 0.3)) |
Weather.kif 876-882 | |
| (=> (and (instance ?AREA GeographicArea) (instance ?WEATHER OvercastWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (greaterThan ?FRACTION 0.7)) |
Weather.kif 927-933 | |
| (=> (and (instance ?AREA GeographicArea) (instance ?WEATHER PartlyCloudyWeather) (eventLocated ?WEATHER ?AREA) (cloudCoverFraction ?AREA ?FRACTION)) (and (greaterThanOrEqualTo ?FRACTION 0.3) (lessThanOrEqualTo ?FRACTION 0.7))) |
Weather.kif 901-909 |
| consequent |
|
|
| (=> (and (instance ?AREA GeographicArea) (instance ?WEATHER ClearWeather) (eventLocated ?WEATHER ?AREA)) (exists (?FRACTION) (and (cloudCoverFraction ?AREA ?FRACTION) (lessThan ?FRACTION 0.3)))) |
Weather.kif 866-874 | |
| (=> (and (instance ?AREA GeographicArea) (instance ?WEATHER OvercastWeather) (eventLocated ?WEATHER ?AREA)) (exists (?FRACTION) (and (cloudCoverFraction ?AREA ?FRACTION) (greaterThan ?FRACTION 0.7)))) |
Weather.kif 917-925 | |
| (=> (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 890-899 |
|
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