Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Falling(falling)
|  | crash, cut_down, drop, fall, fell, flop, pratfall, spill, strike_down, topple, tumble, wipeout |
| appearance as argument number 1 |
|
|
| (subclass Falling Translocation) | Merge.kif 11856-11856 | Falling is a subclass of translocation |
| (subclass Falling MotionDownward) | Merge.kif 11857-11857 | Falling is a subclass of motion downward |
| (documentation Falling EnglishLanguage "Falling is the class of events in which something moves from a higher location to a lower location under the force of gravity.") | Merge.kif 11859-11861 | Falling is a subclass of motion downward |
| (externalImage Falling "http://upload.wikimedia.org/wikipedia/commons/d/ d0/ Statue_tripping.jpg") | pictureList.kif 5999-5999 | Falling is a subclass of motion downward |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?DROP Falling) (origin ?DROP ?START) (destination ?DROP ?FINISH)) (orientation ?FINISH ?START Below)) |
Merge.kif 11863-11868 | If X is an instance of falling, X originates at Y, and X ends up at Z, then Z is below to Y |
| consequent |
|
|
| (=> (holdsDuring ?T (attribute ?H Dizzy)) (holdsDuring ?T (fears ?H (exists (?T2) (=> (and (during ?T2 ?T) (holdsDuring ?T2 (attribute ?H Standing))) (exists (?F) (and (instance ?F Falling) (experiencer ?F ?H) (meetsTemporally ?T2 (WhenFn ?F))))))))) |
Mid-level-ontology.kif 18044-18060 | If dizziness is an attribute of X holds during Y, then X fears there exists Z such that Z takes place during Y, standing is an attribute of X holds during Zthere exists W such that W is an instance of falling, X experiences W, and Z meets the time of existence of W holds during Y |
| (=> (and (instance ?SH SafetyHarness) (instance ?PERSON Animal) (wears ?PERSON ?SH)) (hasPurpose ?SH (exists (?PROC ?INJ ?I) (and (instance ?PROC Process) (instrument ?PROC ?SH) (patient ?PROC ?PERSON) (subclass ?INJ (KappaFn ?I (and (instance ?I Injuring) (exists (?F ?H ?T) (and (instance ?H Human) (experiencer ?I ?H) (instance ?F Falling) (experiencer ?F ?H) (causes ?F ?I) (=> (holdsDuring ?T (experiencer ?I ?PERSON)) (not (holdsDuring ?T (patient ?PROC ?PERSON))))))))) (prevents ?PROC ?INJ))))) |
Cars.kif 3254-3282 | If X is an instance of safety harness, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, X is an instrument for Z, Y is a patient of Z, W is a subclass of the class described by V, and Z prevents the occurrence of W |
| (=> (instance ?FELL Felling) (exists (?C ?F ?T ?S) (and (instance ?C Cutting) (patient ?C ?T) (instance ?T BotanicalTree) (result ?C ?F) (instance ?F Falling) (patient ?F ?S) (instance ?S PlantStem) (part ?S ?T)))) |
Economy.kif 5822-5833 | If X is an instance of felling, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of cutting (3) W is a patient of Y (4) W is an instance of botanical tree (5) Z is a result of Y (6) Z is an instance of falling (7) V is a patient of Z (8) V is an instance of plant stem (9) V is a part of W |
| (=> (instance ?BREAK BreakingWave) (exists (?WAVE ?WATER1 ?WATER2 ?FALL) (and (instance ?WAVE WaterWave) (subProcess ?BREAK ?WAVE) (instance ?WATER1 BodyOfWater) (instance ?WATER2 BodyOfWater) (patient ?WAVE ?WATER2) (patient ?BREAK ?WATER1) (instance ?FALL Falling) (objectTransferred ?FALL ?WATER1) (holdsDuring (BeginFn (WhenFn ?FALL)) (part ?WATER1 ?WATER2)) (holdsDuring (EndFn (WhenFn ?FALL)) (not (part ?WATER1 ?WATER2)))))) |
Weather.kif 2664-2684 | If X is an instance of breaking wave, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of water wave (3) X is a subprocess of Y (4) Z is an instance of body of water (5) W is an instance of body of water (6) W is a patient of Y (7) Z is a patient of X (8) V is an instance of falling (9) the object transferred in V is Z (10) Z is a part of W holds during the beginning of the time of existence of V (11) Z is not a part of W holds during the end of the time of existence of V |
|