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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PartlyCloudyWeather
PartlyCloudyWeather

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


(documentation PartlyCloudyWeather EnglishLanguage "PartlyCloudyWeather represents a condition in which between 30% and 70% of the sky is covered with clouds.") Weather.kif 513-515
(externalImage PartlyCloudyWeather "http://www.adampease.org/Articulate/ SUMOpictures/ pictures/ weather/ clouds/ cloudy_partly.png") pictureList.kif 1894-1894 externalImage PartlyCloudyWeather and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ clouds/ cloudy_partly.png"
(externalImage PartlyCloudyWeather "http://www.adampease.org/Articulate/ SUMOpictures/ pictures/ weather/ clouds/ partly_Cloudy.png") pictureList.kif 2285-2285 externalImage PartlyCloudyWeather and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ clouds/ partly_Cloudy.png"
(subclass PartlyCloudyWeather WeatherProcess) Weather.kif 511-511 subclass PartlyCloudyWeather and WeatherProcess

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


(termFormat ChineseLanguage PartlyCloudyWeather "部分多云的天气") domainEnglishFormat.kif 44497-44497 termFormat ChineseLanguage, PartlyCloudyWeather and "部分多云的天气"
(termFormat ChineseTraditionalLanguage PartlyCloudyWeather "部分多雲的天氣") domainEnglishFormat.kif 44496-44496 termFormat ChineseTraditionalLanguage, PartlyCloudyWeather and "部分多雲的天氣"
(termFormat EnglishLanguage PartlyCloudyWeather "partly cloudy weather") domainEnglishFormat.kif 44495-44495 termFormat EnglishLanguage, PartlyCloudyWeather and "partly cloudy weather"

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


(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?WEATHER PartlyCloudyWeather)
        (eventLocated ?WEATHER ?AREA)
        (cloudCoverFraction ?AREA ?FRACTION))
    (and
        (greaterThanOrEqualTo ?FRACTION 0.3)
        (lessThanOrEqualTo ?FRACTION 0.7)))
Weather.kif 528-536
(=>
    (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 517-526


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