Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 11583-11585
(documentation Falling JapaneseLanguage "Falling は、重力の下で、より高い場所から低い位置に 何かが移動するイベントのクラスである。") japanese_format.kif 1830-1831
(externalImage Falling " d0/ Statue_tripping.jpg") pictureList.kif 6000-6000
(subclass Falling MotionDownward) Merge.kif 11581-11581 落下向下运动subclass
(subclass Falling Translocation) Merge.kif 11580-11580 落下易位subclass

appearance as argument number 2

(subclass Precipitation Falling) Merge.kif 11207-11207 沉淀落下subclass
(subclass Sinking Falling) Mid-level-ontology.kif 13107-13107 下沉落下subclass
(termFormat ChineseLanguage Falling "落下") domainEnglishFormat.kif 23176-23176
(termFormat ChineseTraditionalLanguage Falling "落下") domainEnglishFormat.kif 23175-23175
(termFormat EnglishLanguage Falling "falling") domainEnglishFormat.kif 23174-23174


        (instance ?DROP Falling)
        (origin ?DROP ?START)
        (destination ?DROP ?FINISH))
    (orientation ?FINISH ?START Below))
Merge.kif 11587-11592


        (instance ?SH SafetyHarness)
        (instance ?PERSON Animal)
        (wears ?PERSON ?SH))
    (hasPurpose ?SH
        (exists (?PROC ?INJ ?I)
                (instance ?PROC Process)
                (instrument ?PROC ?SH)
                (patient ?PROC ?PERSON)
                (subclass ?INJ
                    (KappaFn ?I
                            (instance ?I Injuring)
                            (exists (?F ?H ?T)
                                    (instance ?H Human)
                                    (experiencer ?I ?H)
                                    (instance ?F Falling)
                                    (experiencer ?F ?H)
                                    (causes ?F ?I)
                                        (holdsDuring ?T
                                            (experiencer ?I ?PERSON))
                                            (holdsDuring ?T
                                                (patient ?PROC ?PERSON)))))))))
                (prevents ?PROC ?INJ)))))
Cars.kif 3389-3417
    (holdsDuring ?T
        (attribute ?H Dizzy))
    (holdsDuring ?T
        (believes ?H
                (exists (?T2)
                        (during ?T2 ?T)
                        (holdsDuring ?T2
                            (attribute ?H Standing))))
                (exists (?F)
                        (instance ?F Falling)
                        (experiencer ?F ?H)
                        (meetsTemporally ?T2
                            (WhenFn ?F))))))))
Mid-level-ontology.kif 16411-16427
    (instance ?BREAK BreakingWave)
    (exists (?WAVE ?WATER1 ?WATER2 ?FALL)
            (instance ?WAVE WaterWave)
            (subProcess ?BREAK ?WAVE)
            (instance ?WATER1 BodyOfWater)
            (instance ?WATER2 BodyOfWater)
            (patient ?WAVE ?WATER2)
            (patient ?BREAK ?WATER1)
            (instance ?FALL Falling)
            (objectTransferred ?FALL ?WATER1)
                    (WhenFn ?FALL))
                (part ?WATER1 ?WATER2))
                    (WhenFn ?FALL))
                    (part ?WATER1 ?WATER2))))))
Weather.kif 1353-1373
    (instance ?FELL Felling)
    (exists (?C ?F ?T ?S)
            (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

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

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