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
(subclass OvercastWeather WeatherProcess) Weather.kif 538-538 subclass OvercastWeather and WeatherProcess

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


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

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 3.0 is open source software produced by Articulate Software and its partners