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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OvercastWeather
OvercastWeather(overcast weather)
cloud-covered, cloud_cover, clouded, cloudiness, cloudy, overcast, sunless

appearance as argument number 1
-------------------------


(documentation OvercastWeather EnglishLanguage "OvercastWeather represents a condition in which more than 70% of the sky is covered with clouds.") Weather.kif 929-931
(externalImage OvercastWeather "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ clouds/ cloudy_mostly.png") pictureList.kif 1886-1886
(subclass OvercastWeather WeatherProcess) Weather.kif 927-927 Overcast weather is a subclass of weather process

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage OvercastWeather "阴云密布的天气") domainEnglishFormat.kif 43717-43717
(termFormat ChineseTraditionalLanguage OvercastWeather "陰雲密布的天氣") domainEnglishFormat.kif 43716-43716
(termFormat EnglishLanguage OvercastWeather "overcast weather") domainEnglishFormat.kif 43715-43715

antecedent
-------------------------


(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER OvercastWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (greaterThan ?FRACTION 0.7))
Weather.kif 943-949
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER OvercastWeather)
        (eventLocated ?WEATHER ?AREA))
    (exists (?FRACTION)
        (and
            (cloudCoverFraction ?AREA ?FRACTION)
            (greaterThan ?FRACTION 0.7))))
Weather.kif 933-941


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