| Falling(落下)
| |
| appearance as argument number 1 |
|
|
| (documentation Falling ChineseLanguage "Falling 属于事件的类别，当某样东西受地深吸力从高处移到 低处。") | chinese_format.kif 3062-3063 | |
| (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 11733-11735 | |
| (documentation Falling JapaneseLanguage "Falling は、重力の下で、より高い場所から低い位置に 何かが移動するイベントのクラスである。") | japanese_format.kif 1830-1831 | |
| (externalImage Falling "http://upload.wikimedia.org/wikipedia/commons/d/ d0/ Statue_tripping.jpg") | pictureList.kif 5999-5999 | |
| (subclass Falling MotionDownward) | Merge.kif 11731-11731 | 落下 是 向下运动 的 subclass |
| (subclass Falling Translocation) | Merge.kif 11730-11730 | 落下 是 易位 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Precipitation Falling) | Merge.kif 11345-11345 | 沉淀 是 落下 的 subclass |
| (subclass Sinking Falling) | Mid-level-ontology.kif 14438-14438 | 下沉 是 落下 的 subclass |
| (termFormat ChineseLanguage Falling "落下") | domainEnglishFormat.kif 23179-23179 | 下沉 是 落下 的 subclass |
| (termFormat ChineseTraditionalLanguage Falling "落下") | domainEnglishFormat.kif 23178-23178 | 下沉 是 落下 的 subclass |
| (termFormat EnglishLanguage Falling "falling") | domainEnglishFormat.kif 23177-23177 | 下沉 是 落下 的 subclass |
| antecedent |
|
|
| (=> (and (instance ?DROP Falling) (origin ?DROP ?START) (destination ?DROP ?FINISH)) (orientation ?FINISH ?START Below)) |
Merge.kif 11737-11742 |
| consequent |
|
|
| (=> (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 3450-3478 | |
| (=> (holdsDuring ?T (attribute ?H Dizzy)) (holdsDuring ?T (believes ?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 17798-17814 | |
| (=> (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 2079-2099 |
|
| (=> (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 5814-5825 |
|
|
|