cloudCoverFraction |
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 | Il numero 1 argomenti di cloudCoverFraction è un istanza di Regione |
(domain cloudCoverFraction 2 NonnegativeRealNumber) | Weather.kif 855-855 | Il numero 2 argomenti di cloudCoverFraction è un istanza di NumeroRealeNonNegativo |
(instance cloudCoverFraction BinaryPredicate) | Weather.kif 853-853 | cloudCoverFraction è un' istanza di PredicatoBinario |
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 |
consequent |