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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OvercastWeather
OvercastWeather

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 540-542
(externalImage OvercastWeather "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ clouds/ cloudy_mostly.png") pictureList.kif 1886-1886 externalImage OvercastWeather and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ clouds/ cloudy_mostly.png"
(subclass OvercastWeather WeatherProcess) Weather.kif 538-538 subclass OvercastWeather and WeatherProcess

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


(termFormat ChineseLanguage OvercastWeather "阴云密布的天气") domainEnglishFormat.kif 43657-43657 termFormat ChineseLanguage, OvercastWeather and "阴云密布的天气"
(termFormat ChineseTraditionalLanguage OvercastWeather "陰雲密布的天氣") domainEnglishFormat.kif 43656-43656 termFormat ChineseTraditionalLanguage, OvercastWeather and "陰雲密布的天氣"
(termFormat EnglishLanguage OvercastWeather "overcast weather") domainEnglishFormat.kif 43655-43655 termFormat EnglishLanguage, OvercastWeather and "overcast weather"

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


(=>
    (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 OvercastWeather)
        (eventLocated ?WEATHER ?AREA))
    (exists (?FRACTION)
        (and
            (cloudCoverFraction ?AREA ?FRACTION)
            (greaterThan ?FRACTION 0.7))))
Weather.kif 544-552


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