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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeologicallyStable

Sigma KEE - GeologicallyStable
GeologicallyStable

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


(documentation GeologicallyStable EnglishLanguage "GeologicallyStable is a TerrainAttribute of a GeographicArea in which the geological substructure is stable, i.e., there are no active Volcanoes, no major fault lines, no blasting or other destabilizing activity.") Geography.kif 1794-1797
(instance GeologicallyStable TerrainAttribute) Geography.kif 1792-1792

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


(termFormat EnglishLanguage GeologicallyStable "geologically stable") domainEnglishFormat.kif 4720-4720

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


(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?BLOW VolcanicEruption)
        (eventLocated ?BLOW ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1806-1811
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?CONE Volcano)
        (attribute ?CONE VolcanicallyActive))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1799-1804
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?FAULT GeologicalFault)
        (located ?FAULT ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1820-1825
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?SHAKING EarthTremor)
        (eventLocated ?SHAKING ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1813-1818


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners