Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
LandSubsidence(land subsidence)
|
| appearance as argument number 1 |
|
| (subclass LandSubsidence GeologicalProcess) | Geography.kif 8433-8433 | Land subsidence is a subclass of geological process |
| (externalImage LandSubsidence "http://upload.wikimedia.org/wikipedia/commons/ d/ df/ SubsidedRoad.jpg") | pictureList.kif 2972-2972 | Land subsidence is a subclass of geological process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?SINKING LandSubsidence) (exists (?LAND) (and (instance ?LAND LandArea) (eventLocated ?SINKING ?LAND) (patient ?SINKING ?LAND)))) |
Geography.kif 8435-8441 | If X is an instance of land subsidence, then there exists Y such that Y is an instance of land area, X is located at Y, and Y is a patient of X |
| (=> (and (instance ?SINKING LandSubsidence) (patient ?SINKING ?LAND) (instance ?LAND LandArea) (instance ?U UnitOfLength) (elevation ?LAND (MeasureFn ?HEIGHT1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?SINKING)) (exists (?HEIGHT2) (and (elevation ?LAND (MeasureFn ?HEIGHT2 ?U)) (lessThan ?HEIGHT2 ?HEIGHT1))))) |
Geography.kif 8443-8456 | If X is an instance of land subsidence, Y is a patient of X, Y is an instance of land area, Z is an instance of unit of length, and W Z(s) is an elevation of Y, then there exists V such that V Z(s) is an elevation of Y and V is less than W holds during immediately after the time of existence of X |
|