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

Formal Language: 



KB Term:  Term intersection
English Word: 

  naturalHazardTypeInArea

Sigma KEE - naturalHazardTypeInArea
naturalHazardTypeInArea

appearance as argument number 1
-------------------------


(documentation naturalHazardTypeInArea EnglishLanguage "(naturalHazardTypeInArea ?AREA ?TYPE) means that in the GeographicArea ?AREA, Processes of ?TYPE occur with some frequency and may cause damage or danger to human lives and property.") Geography.kif 2194-2197
(domain naturalHazardTypeInArea 1 GeographicArea) Geography.kif 2191-2191
(domainSubclass naturalHazardTypeInArea 2 Physical) Geography.kif 2192-2192
(instance naturalHazardTypeInArea BinaryPredicate) Geography.kif 2190-2190

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


(format EnglishLanguage naturalHazardTypeInArea "%2 is %n a natural hazard type in area of %1") domainEnglishFormat.kif 454-454
(termFormat EnglishLanguage naturalHazardTypeInArea "natural hazard type in area") domainEnglishFormat.kif 7069-7069

antecedent
-------------------------


(=>
    (and
        (naturalHazardTypeInArea ?AREA ?TYPE)
        (geographicSubregion ?AREA ?COUNTRY)
        (instance ?COUNTRY Nation))
    (naturalHazardTypeInArea ?NATION ?TYPE))
Geography.kif 2199-2204
(=>
    (and
        (naturalHazardTypeInArea ?AREA ?TYPE)
        (subclass ?TYPE Object))
    (exists (?ITEM)
        (and
            (instance ?ITEM ?TYPE)
            (located ?ITEM ?AREA))))
Geography.kif 2206-2213
(=>
    (and
        (naturalHazardTypeInArea ?AREA ?TYPE)
        (subclass ?TYPE Process))
    (exists (?ITEM)
        (and
            (instance ?ITEM ?TYPE)
            (located ?ITEM ?AREA)
            (overlapsTemporally
                (WhenFn ?ITEM)
                (WhenFn ?AREA)))))
Geography.kif 2215-2223

consequent
-------------------------


(=>
    (and
        (naturalHazardTypeInArea ?AREA ?TYPE)
        (geographicSubregion ?AREA ?COUNTRY)
        (instance ?COUNTRY Nation))
    (naturalHazardTypeInArea ?NATION ?TYPE))
Geography.kif 2199-2204

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners