TreeView Knowledge Base Browser

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 11605-11607
(documentation Falling JapaneseLanguage "Falling は、重力の下で、より高い場所から低い位置に何かが移動するイベントのクラスである。")	japanese_format.kif 1830-1831
(externalImage Falling "http://upload.wikimedia.org/wikipedia/commons/d/ d0/ Statue_tripping.jpg")	pictureList.kif 6000-6000
(subclass Falling MotionDownward)	Merge.kif 11603-11603	子類落下 and 向下運動
(subclass Falling Translocation)	Merge.kif 11602-11602	子類落下 and 易位

appearance as argument number 2

(subclass Precipitation Falling)	Merge.kif 11229-11229	子類沉澱 and 落下
(subclass Sinking Falling)	Mid-level-ontology.kif 13106-13106	子類下沉 and 落下
(termFormat ChineseLanguage Falling "落下")	domainEnglishFormat.kif 23176-23176
(termFormat ChineseTraditionalLanguage Falling "落下")	domainEnglishFormat.kif 23175-23175
(termFormat EnglishLanguage Falling "falling")	domainEnglishFormat.kif 23174-23174

antecedent

(=>
    (and
        (instance ?DROP Falling)
        (origin ?DROP ?START)
        (destination ?DROP ?FINISH))
    (orientation ?FINISH ?START Below))

Merge.kif 11609-11614

例 Process and 落下起源 Process and Object 目的地 Process and Object
方位 Object, Object and 下面

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 3397-3425	例可穿戴物品 and 安全套例 Animal and Animal 穿 Animal and 可穿戴物品有目的可穿戴物品 and entity entity and entity 例 entity and Process 儀器 entity and 可穿戴物品患者 entity and Animal 子類 entity and 卡帕 entity and 例 entity and Injuring entity entity and entity 例 entity and Human 體驗者 entity and entity 例 entity and 落下體驗者 entity and entity 原因 entity and entity 持有期間 entity and 體驗者 entity and Animal 持有期間 entity and 患者 entity and Animal 防止 entity and entity
(=> (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 16410-16426	持有期間 TimePosition and attribute entity and Dizzy 持有期間 TimePosition and 相信 entity and TimePosition 期間 TimePosition and TimePosition 持有期間 TimePosition and attribute entity and 站立 entity 例 entity and 落下體驗者 entity and entity 短暫相遇 TimePosition and 何時 entity
(=> (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 1349-1369	例 Process and BreakingWave Process Object, Entity and Transfer 例 Process and 水波子過程 Process and Process 例 Object and 水體例 Entity and 水體患者 Process and Entity 患者 Process and Object 例 Transfer and 落下 objectTransferred Transfer and Object 持有期間開始何時 Transfer and 部分 Object and Entity 持有期間結束何時 Transfer and 部分 Object and Entity
(=> (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 5472-5483	例 Entity and 砍伐 Process Process, Object and Object 例 Process and Cutting 患者 Process and Object 例 Object and 植物樹結果 Process and Process 例 Process and 落下患者 Process and Object 例 Object and PlantStem 部分 Object and Object

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: