(=>
(and
(instance ?area GeographicArea)
(groundSurfaceType ?area Rock))
(not
(attribute ?area FertileTerrain))) |
Geography.kif 3275-3279 |
If X is an instance of geographic area and rock is a ground surface type of X, then fertile terrain is not an attribute of X |
(=>
(and
(instance ?SOIL Soil)
(attribute ?SOIL Yellow)
(instance ?AREA LandArea)
(component ?SOIL ?AREA))
(not
(attribute ?AREA FertileTerrain))) |
Geography.kif 3286-3292 |
If X is an instance of soil, yellow is an attribute of X, Y is an instance of land area, and X is a component of Y, then fertile terrain is not an attribute of Y |
(=>
(and
(instance ?SOIL Soil)
(attribute ?SOIL Red)
(instance ?AREA LandArea)
(component ?SOIL ?AREA))
(attribute ?AREA FertileTerrain)) |
Geography.kif 3294-3300 |
If X is an instance of soil, red is an attribute of X, Y is an instance of land area, and X is a component of Y, then fertile terrain is an attribute of Y |
(=>
(and
(instance ?area GeographicArea)
(groundSurfaceType ?area Loam))
(attribute ?area FertileTerrain)) |
Geography.kif 5859-5863 |
If X is an instance of geographic area and loam is a ground surface type of X, then fertile terrain is an attribute of X |
(=>
(and
(instance ?IRRIGATION Irrigating)
(patient ?IRRIGATION ?AREA)
(instance ?AREA LandArea))
(hasPurpose ?IRRIGATION
(attribute ?AREA FertileTerrain))) |
Geography.kif 7320-7325 |
If X is an instance of irrigating, Y is a patient of X, and Y is an instance of land area, then X has the purpose fertile terrain is an attribute of Y |
(=>
(instance ?OASIS Oasis)
(attribute ?OASIS FertileTerrain)) |
Geography.kif 8321-8323 |
If X is an instance of oasis, then fertile terrain is an attribute of X |
FertileTerrain