Drought - Sigma Knowledge base Browser

appearance as argument number 1

(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 3791-3793
(externalImage Drought "http://articulatesoftware.com/SUMOpictures/weather/ scenes/ drought.png")	pictureList.kif 399-399
(subclass Drought WeatherProcess)	Weather.kif 3790-3790	Drought is a subclass of weather process

appearance as argument number 2

(termFormat ChineseLanguage Drought "干旱")	domainEnglishFormat.kif 20504-20504
(termFormat ChineseTraditionalLanguage Drought "乾旱")	domainEnglishFormat.kif 20503-20503
(termFormat EnglishLanguage Drought "drought")	domainEnglishFormat.kif 20502-20502

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 3795-3806

If a time interval is an instance of drought and the time interval is located at an object,
then there don't exist another time interval and another object such that the other time interval is an instance of raining and the other object is an instance of region and the other time interval is located at the other object and the other object and the object overlapsSpatially and the time interval overlaps the other time interval

consequent

(=> (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 7917-7927	If an entity is an instance of cactus, then the statement there exists another entity such that the other entity is an instance of geographic area and the entity is located at the other entity and there exists a third entity such that the third entity is an instance of drought and the third entity is located at the other entity has the modal force of likely
(=> (instance ?P Succulent) (modalAttribute (exists (?D) (and (instance ?D Drought) (experiencer ?D ?P) (attribute ?P Living))) Likely))	Geography.kif 7901-7908	If an entity is an instance of succulent, then the statement there exists another entity such that the other entity is an instance of drought and the entity experiences the other entity and living is an attribute of the entity has the modal force of likely

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: