|
|
  VolcanicallyActive
|
|
|
| appearance as argument number 1 |
|
|
| (contraryAttribute VolcanicallyActive VolcanicallyDormant VolcanicallyExtinct) | Geography.kif 5620-5620 | Volcanically active is the opposite of volcanically dormant |
| (instance VolcanicallyActive VolcanoStatus) | Geography.kif 5617-5617 | Volcanically active is an instance of volcano status |
| appearance as argument number 2 |
|
|
| (exhaustiveAttribute VolcanoStatus VolcanicallyActive VolcanicallyDormant VolcanicallyExtinct) | Geography.kif 5621-5621 | Volcanically active are all the attributes of volcano status |
| (termFormat ChineseLanguage VolcanicallyActive "火山活跃") | domainEnglishFormat.kif 61862-61862 | Volcanically active are all the attributes of volcano status |
| (termFormat ChineseTraditionalLanguage VolcanicallyActive "火山活躍") | domainEnglishFormat.kif 61861-61861 | Volcanically active are all the attributes of volcano status |
| (termFormat EnglishLanguage VolcanicallyActive "volcanically active") | domainEnglishFormat.kif 61860-61860 | Volcanically active are all the attributes of volcano status |
| antecedent |
|
|
| (=> (and (instance ?AREA GeographicArea) (instance ?CONE Volcano) (attribute ?CONE VolcanicallyActive)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 3326-3331 |
|
|
|
|