Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Drought
Drought(drought)
drought, drouth

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

appearance as argument number 2
-------------------------


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

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 2987-2998

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 6435-6445
(=>
    (instance ?P Succulent)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Drought)
                (experiencer ?D ?P)
                (attribute ?P Living))) Likely))
Geography.kif 6419-6426


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