|
|
   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 902-904 | |
| (externalImage PartlyCloudyWeather "http://articulatesoftware.com/SUMOpictures/ weather/ clouds/ cloudy_partly.png") | pictureList.kif 1893-1893 | |
| (externalImage PartlyCloudyWeather "http://articulatesoftware.com/SUMOpictures/ weather/ clouds/ partly_Cloudy.png") | pictureList.kif 2284-2284 | |
| (subclass PartlyCloudyWeather WeatherProcess) | Weather.kif 900-900 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PartlyCloudyWeather "部分多云的天气") | domainEnglishFormat.kif 44586-44586 | |
| (termFormat ChineseTraditionalLanguage PartlyCloudyWeather "部分多雲的天氣") | domainEnglishFormat.kif 44585-44585 | |
| (termFormat EnglishLanguage PartlyCloudyWeather "partly cloudy weather") | domainEnglishFormat.kif 44584-44584 |
| 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 917-925 | |
| (=> (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 906-915 |
|
|
|
