| 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 |
| 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 | |
| (=> (and (instance ?AREA GeographicArea) (instance ?CONE Volcano) (attribute ?CONE VolcanicallyActive)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1858-1863 | |
| (=> (and (instance ?AREA GeographicArea) (instance ?FAULT GeologicalFault) (located ?FAULT ?AREA)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1879-1884 | |
| (=> (and (instance ?AREA GeographicArea) (instance ?SHAKING EarthTremor) (eventLocated ?SHAKING ?AREA)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1872-1877 |
|
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