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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeologicallyStable

Sigma KEE - GeologicallyStable
GeologicallyStable(geologically stable)

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 1856-1859
(instance GeologicallyStable TerrainAttribute) Geography.kif 1854-1854 Geologically stable is an instance of terrain attribute

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


(termFormat ChineseLanguage GeologicallyStable "地质稳定") domainEnglishFormat.kif 25785-25785
(termFormat ChineseTraditionalLanguage GeologicallyStable "地質穩定") domainEnglishFormat.kif 25784-25784
(termFormat EnglishLanguage GeologicallyStable "geologically stable") domainEnglishFormat.kif 25783-25783

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


(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?BLOW VolcanicEruption)
        (eventLocated ?BLOW ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1868-1873
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?CONE Volcano)
        (attribute ?CONE VolcanicallyActive))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1861-1866
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?FAULT GeologicalFault)
        (located ?FAULT ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1882-1887
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?SHAKING EarthTremor)
        (eventLocated ?SHAKING ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1875-1880


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