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 886-888 | |
(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 884-884 |
appearance as argument number 2 |
(termFormat ChineseLanguage PartlyCloudyWeather "部分多云的天气") | domainEnglishFormat.kif 44576-44576 | |
(termFormat ChineseTraditionalLanguage PartlyCloudyWeather "部分多雲的天氣") | domainEnglishFormat.kif 44575-44575 | |
(termFormat EnglishLanguage PartlyCloudyWeather "partly cloudy weather") | domainEnglishFormat.kif 44574-44574 |
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 901-909 | |
(=> (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 890-899 |