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 929-931
(externalImage OvercastWeather "http://articulatesoftware.com/SUMOpictures/ weather/ clouds/ cloudy_mostly.png") pictureList.kif 1885-1885
(subclass OvercastWeather WeatherProcess) Weather.kif 927-927 OvercastWeatherWeatherProcesssubclass では %n

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


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

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