| GeologicallyStable | |
| 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 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage GeologicallyStable "地质稳定") | domainEnglishFormat.kif 25723-25723 | |
| (termFormat ChineseTraditionalLanguage GeologicallyStable "地質穩定") | domainEnglishFormat.kif 25722-25722 | |
| (termFormat EnglishLanguage GeologicallyStable "geologically stable") | domainEnglishFormat.kif 25721-25721 |
| consequent |
|
|
| (=> (and (instance ?AREA GeographicArea) (instance ?BLOW VolcanicEruption) (eventLocated ?BLOW ?AREA)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1818-1823 | |
| (=> (and (instance ?AREA GeographicArea) (instance ?CONE Volcano) (attribute ?CONE VolcanicallyActive)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1811-1816 | |
| (=> (and (instance ?AREA GeographicArea) (instance ?FAULT GeologicalFault) (located ?FAULT ?AREA)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1832-1837 | |
| (=> (and (instance ?AREA GeographicArea) (instance ?SHAKING EarthTremor) (eventLocated ?SHAKING ?AREA)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1825-1830 |
|
|
|