Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Drought(drought)
|  | drought, drouth |
| appearance as argument number 1 |
|
|
| (subclass Drought WeatherProcess) | Weather.kif 3733-3733 | Drought is a subclass of weather process |
| (documentation Drought EnglishLanguage "Drought is the subclass of WeatherProcess that represents long periods without precipitation, which is damaging to crops, livestock, and human life.") | Weather.kif 3734-3736 | Drought is a subclass of weather process |
| (externalImage Drought "http://articulatesoftware.com/SUMOpictures/weather/ scenes/ drought.png") | pictureList.kif 399-399 | Drought is a subclass of weather process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?DRYSPELL Drought) (eventLocated ?DRYSPELL ?AREA)) (not (exists (?RAIN ?PLACE) (and (instance ?RAIN Raining) (instance ?PLACE Region) (eventLocated ?RAIN ?PLACE) (overlapsSpatially ?PLACE ?AREA) (overlapsTemporally ?RAIN ?DRYSPELL))))) |
Weather.kif 3738-3749 | If X is an instance of drought and X is located at Y, then All of the following hold: (1) there don't exist Z (2) W such that Z is an instance of raining (3) W is an instance of region (4) Z is located at W (5) W (6) Y overlapsSpatially (7) X overlaps Z |
| consequent |
|
|
| (=> (instance ?P Succulent) (modalAttribute (exists (?D) (and (instance ?D Drought) (experiencer ?D ?P) (attribute ?P Living))) Likely)) |
Geography.kif 7886-7893 | If X is an instance of succulent, then the statement there exists Y such that Y is an instance of drought, X experiences Y, and living is an attribute of X has the modal force of likely |
| (=> (instance ?CAC Cactus) (modalAttribute (exists (?AREA) (and (instance ?AREA GeographicArea) (located ?CAC ?AREA) (exists (?D) (and (instance ?D Drought) (eventLocated ?D ?AREA))))) Likely)) |
Geography.kif 7902-7912 | If X is an instance of cactus, then the statement there exists Y such that Y is an instance of geographic area, X is located at Y, there exists Z such that Z is an instance of drought, and Z is located at Y has the modal force of likely |
|