Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WeatherAssessment(weather assessment) |
| appearance as argument number 1 |
|
| (subclass WeatherAssessment Report) | Weather.kif 4456-4456 | Weather assessment is a subclass of report |
| (documentation WeatherAssessment EnglishLanguage "A WeatherAssessment is a Report made based on someone's believes in a WeatherProcess occured in the immediate past.") | Weather.kif 4457-4458 | Weather assessment is a subclass of report |
| (relatedInternalConcept WeatherAssessment weatherThreat) | Weather.kif 4459-4459 | Weather assessment is internally related to weather threat |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept WeatherForecast WeatherAssessment) | Weather.kif 4477-4477 | Weather forecast is internally related to weather assessment |
| (termFormat EnglishLanguage WeatherAssessment "weather assessment") | domainEnglishFormat.kif 66008-66008 | Weather forecast is internally related to weather assessment |
| antecedent |
|
|
| (=> (instance ?WA WeatherAssessment) (containsFormula ?WA (exists (?R ?A ?WP) (and (instance ?R Reasoning) (instance ?A CognitiveAgent) (agent ?R ?A) (instance ?WP WeatherProcess) (patient ?R ?WP) (result ?R ?WA) (earlier (WhenFn ?WP) (WhenFn ?WA)))))) |
Weather.kif 4461-4472 | If X is an instance of weather assessment, then All of the following hold: (1) X contains the formula there exist Y, Z (2) W such that Y is an instance of reasoning (3) Z is an instance of cognitive agent (4) Z is an agent of Y (5) W is an instance of weather process (6) W is a patient of Y (7) X is a result of Y (8) the time of existence of W happens earlier than the time of existence of X |
|