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 898-900 | |
(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 896-896 |
appearance as argument number 2 |
(termFormat ChineseLanguage PartlyCloudyWeather "部分多云的天气") | domainEnglishFormat.kif 44574-44574 | |
(termFormat ChineseTraditionalLanguage PartlyCloudyWeather "部分多雲的天氣") | domainEnglishFormat.kif 44573-44573 | |
(termFormat EnglishLanguage PartlyCloudyWeather "partly cloudy weather") | domainEnglishFormat.kif 44572-44572 |
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 913-921 | |
(=> (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 902-911 |