Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - cloudCoverFraction
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 Le nombre 1 argument de cloudCoverFraction est une instance de r�gion
(domain cloudCoverFraction 2 NonnegativeRealNumber) Weather.kif 855-855 Le nombre 2 argument de cloudCoverFraction est une instance de nombre r�el non n�gatif
(instance cloudCoverFraction BinaryPredicate) Weather.kif 853-853 cloudCoverFraction est une instance de pr�dicat binaire

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 15309-15309
(termFormat ChineseTraditionalLanguage cloudCoverFraction "雲覆蓋部分") domainEnglishFormat.kif 15308-15308
(termFormat EnglishLanguage cloudCoverFraction "cloud cover fraction") domainEnglishFormat.kif 15307-15307

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