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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PartlyCloudyWeather
PartlyCloudyWeather(partly cloudy weather)

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


s__documentation(s__PartlyCloudyWeather,s__EnglishLanguage,'"PartlyCloudyWeather represents a condition in which between 30% and 70% of the sky is covered with clouds."')

Weather.kif 902-904
s__externalImage(s__PartlyCloudyWeather,'"http://www.adampease.org/Articulate/ SUMOpictures/ pictures/ weather/ clouds/ cloudy_partly.png"')

pictureList.kif 1894-1894
s__externalImage(s__PartlyCloudyWeather,'"http://www.adampease.org/Articulate/ SUMOpictures/ pictures/ weather/ clouds/ partly_Cloudy.png"')

pictureList.kif 2285-2285
s__instance(s__WeatherProcess,s__Class)

s__subclass(s__PartlyCloudyWeather,s__WeatherProcess)

s__instance(s__PartlyCloudyWeather,s__Class)

Weather.kif 900-900 Partly cloudy weather is a subclass of weather process

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


s__termFormat(s__ChineseLanguage,s__PartlyCloudyWeather,'"部分多云的天气"')

domainEnglishFormat.kif 44551-44551
s__termFormat(s__ChineseTraditionalLanguage,s__PartlyCloudyWeather,'"部分多雲的天氣"')

domainEnglishFormat.kif 44550-44550
s__termFormat(s__EnglishLanguage,s__PartlyCloudyWeather,'"partly cloudy weather"')

domainEnglishFormat.kif 44549-44549

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


( ! [V__WEATHER,V__FRACTION,V__AREA] :
   ((s__instance(V__FRACTION,s__NonnegativeRealNumber) =>
       (((s__instance(V__AREA,s__GeographicArea) &
             s__instance(V__WEATHER,s__PartlyCloudyWeather) &
             s__eventLocated(V__WEATHER,V__AREA)
           &
           s__cloudCoverFraction(V__AREA,V__FRACTION))
       =>
       ((s__greaterThanOrEqualTo(V__FRACTION,n__0_3)
         &
         s__lessThanOrEqualTo(V__FRACTION,n__0_7))))))
)
)

Weather.kif 917-925
( ! [V__WEATHER,V__AREA] :
   (((s__instance(V__AREA,s__GeographicArea) &
         s__instance(V__WEATHER,s__PartlyCloudyWeather) &
         s__eventLocated(V__WEATHER,V__AREA))
     =>
     (( ? [V__FRACTION] :
         ((s__instance(V__FRACTION,s__NonnegativeRealNumber) &
             (s__cloudCoverFraction(V__AREA,V__FRACTION)
             &
             s__greaterThanOrEqualTo(V__FRACTION,n__0_3)
           &
           s__lessThanOrEqualTo(V__FRACTION,n__0_7)))))))
)
)

Weather.kif 906-915


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