Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WeatherForecast(weather forecast) |  | weather_forecast, weather_outlook |
| appearance as argument number 1 |
|
|
| (subclass WeatherForecast FactualText) | Weather.kif 4474-4474 | Weather forecast is a subclass of factual text |
| (documentation WeatherForecast EnglishLanguage "A WeatherForecast is a FactualText made by someone who believes a WeatherProcess will occur.") | Weather.kif 4475-4476 | Weather forecast is a subclass of factual text |
| (relatedInternalConcept WeatherForecast WeatherAssessment) | Weather.kif 4477-4477 | Weather forecast is internally related to weather assessment |
| (relatedInternalConcept WeatherForecast weatherThreat) | Weather.kif 4478-4478 | Weather forecast is internally related to weather threat |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WeatherForecast "weather forecast") | domainEnglishFormat.kif 66009-66009 |
| antecedent |
|
|
| (=> (instance ?WF WeatherForecast) (containsFormula ?WF (exists (?A) (believes ?A (exists (?WP) (and (instance ?WP WeatherProcess) (during (ImmediateFutureFn (WhenFn ?WF)) (WhenFn ?WP)))))))) |
Weather.kif 4480-4490 | If X is an instance of weather forecast, then X contains the formula there exists Y such that Y believes there exists Z such that Z is an instance of weather process and immediately after the time of existence of X takes place during the time of existence of Z |
|