GeologicallyStable - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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

appearance as argument number 2

(termFormat ChineseLanguage GeologicallyStable "地质稳定")	domainEnglishFormat.kif 25794-25794
(termFormat ChineseTraditionalLanguage GeologicallyStable "地質穩定")	domainEnglishFormat.kif 25793-25793
(termFormat EnglishLanguage GeologicallyStable "geologically stable")	domainEnglishFormat.kif 25792-25792

consequent

(=> (and (instance ?AREA GeographicArea) (instance ?BLOW VolcanicEruption) (eventLocated ?BLOW ?AREA)) (not (attribute ?AREA GeologicallyStable)))	Geography.kif 1865-1870	If an object is an instance of geographic area and a process is an instance of volcanic eruption and the process is located at the object, then geologically stable is not an attribute of the object
(=> (and (instance ?AREA GeographicArea) (instance ?CONE Volcano) (attribute ?CONE VolcanicallyActive)) (not (attribute ?AREA GeologicallyStable)))	Geography.kif 1858-1863	If an object is an instance of geographic area and another object is an instance of volcano and volcanically active is an attribute of the other object, then geologically stable is not an attribute of the object
(=> (and (instance ?AREA GeographicArea) (instance ?FAULT GeologicalFault) (located ?FAULT ?AREA)) (not (attribute ?AREA GeologicallyStable)))	Geography.kif 1879-1884	If an object is an instance of geographic area and a physical is an instance of geological fault and the physical is located at the object, then geologically stable is not an attribute of the object
(=> (and (instance ?AREA GeographicArea) (instance ?SHAKING EarthTremor) (eventLocated ?SHAKING ?AREA)) (not (attribute ?AREA GeologicallyStable)))	Geography.kif 1872-1877	If an object is an instance of geographic area and a process is an instance of earth tremor and the process is located at the object, then geologically stable is not an attribute of the object

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