Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WeatherSeason(weather season) |  | dry_season, rainy_season |
| appearance as argument number 1 |
|
|
| (subclass WeatherSeason WeatherProcess) | Weather.kif 475-475 | Weather season is a subclass of weather process |
| (documentation WeatherSeason EnglishLanguage "WeatherSeason is the class of seasonal processes that are characterized by various weather patterns. WeatherSeasons may recur on a regular annual basis, on a different pattern, or irregularly.") | Weather.kif 476-478 | Weather season is a subclass of weather process |
| appearance as argument number 2 |
|
|
|