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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StreptococcusA

Sigma KEE - Drought
Drought

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 2463-2465
(externalImage Drought "http://articulatesoftware.com/SUMOpictures/weather/ scenes/ drought.png") pictureList.kif 399-399
(subclass Drought WeatherProcess) Weather.kif 2462-2462 Drought e' uma sub-classe de WeatherProcess

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


(termFormat ChineseLanguage Drought "干旱") domainEnglishFormat.kif 20496-20496
(termFormat ChineseTraditionalLanguage Drought "乾旱") domainEnglishFormat.kif 20495-20495
(termFormat EnglishLanguage Drought "drought") domainEnglishFormat.kif 20494-20494

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 2467-2478

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 6302-6312
(=>
    (instance ?P Succulent)
    (modalAttribute
        (exists (?D)
            (and
                (instance ?D Drought)
                (experiencer ?D ?P)
                (attribute ?P Living))) Likely))
Geography.kif 6286-6293


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

Show without tree


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