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 2011-2014
(instance GeologicallyStable TerrainAttribute)	Geography.kif 2009-2009	Geologically stable is an instance of terrain attribute

appearance as argument number 2

(termFormat ChineseLanguage GeologicallyStable "地质稳定")	domainEnglishFormat.kif 25805-25805
(termFormat ChineseTraditionalLanguage GeologicallyStable "地質穩定")	domainEnglishFormat.kif 25804-25804
(termFormat EnglishLanguage GeologicallyStable "geologically stable")	domainEnglishFormat.kif 25803-25803

consequent

(=> (and (instance ?AREA GeographicArea) (instance ?BLOW VolcanicEruption) (eventLocated ?BLOW ?AREA)) (not (attribute ?AREA GeologicallyStable)))	Geography.kif 2023-2028	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 2016-2021	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 2037-2042	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 2030-2035	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