(=>
(and
(instance ?AREA GeographicArea)
(instance ?CONE Volcano)
(attribute ?CONE VolcanicallyActive))
(not
(attribute ?AREA GeologicallyStable))) |
Geography.kif 3309-3314 |
If X is an instance of geographic area, Y is an instance of volcano, and volcanically active is an attribute of Y, then geologically stable is not an attribute of X |
(=>
(and
(instance ?AREA GeographicArea)
(instance ?BLOW VolcanicEruption)
(eventLocated ?BLOW ?AREA))
(not
(attribute ?AREA GeologicallyStable))) |
Geography.kif 3316-3321 |
If X is an instance of geographic area, Y is an instance of volcanic eruption, and Y is located at X, then geologically stable is not an attribute of X |
(=>
(and
(instance ?AREA GeographicArea)
(instance ?SHAKING EarthTremor)
(eventLocated ?SHAKING ?AREA))
(not
(attribute ?AREA GeologicallyStable))) |
Geography.kif 3323-3328 |
If X is an instance of geographic area, Y is an instance of earth tremor, and Y is located at X, then geologically stable is not an attribute of X |
(=>
(and
(instance ?AREA GeographicArea)
(instance ?FAULT GeologicalFault)
(located ?FAULT ?AREA))
(not
(attribute ?AREA GeologicallyStable))) |
Geography.kif 3330-3335 |
If X is an instance of geographic area, Y is an instance of geological fault, and Y is located at X, then geologically stable is not an attribute of X |
