Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  JointForcesCommander
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain precipitationState 1 WeatherProcess) | Weather.kif 1866-1866 | The number 1 argument of precipitation state is an instance of weather process |
| (domainSubclass weatherThreat 1 WeatherProcess) | Weather.kif 4497-4497 | The number 1 argument of weather threat is a subclass of weather process |
| consequent |
|
|
| (=> (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 |
| (=> (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 |
|
