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 1806-1809
(instance GeologicallyStable TerrainAttribute)	Geography.kif 1804-1804	Geologically stable is an instance of terrain attribute

appearance as argument number 2

(termFormat ChineseLanguage GeologicallyStable "地质稳定")	domainEnglishFormat.kif 25717-25717
(termFormat ChineseTraditionalLanguage GeologicallyStable "地質穩定")	domainEnglishFormat.kif 25716-25716
(termFormat EnglishLanguage GeologicallyStable "geologically stable")	domainEnglishFormat.kif 25715-25715

consequent

(=> (and (instance ?AREA GeographicArea) (instance ?BLOW VolcanicEruption) (eventLocated ?BLOW ?AREA)) (not (attribute ?AREA GeologicallyStable)))	Geography.kif 1818-1823	If an object is an instance of geographic area and a process is an instance of volcanic eruption and the process is located at 2, 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 1811-1816	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 1832-1837	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 1825-1830	If an object is an instance of geographic area and a process is an instance of earth tremor and the process is located at 2, 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