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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Falling

Sigma KEE - Falling
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 11416-11418
(externalImage Falling "http://upload.wikimedia.org/wikipedia/commons/d/ d0/ Statue_tripping.jpg") pictureList.kif 6001-6001
(subclass Falling MotionDownward) Merge.kif 11414-11414
(subclass Falling Translocation) Merge.kif 11413-11413

appearance as argument number 2
-------------------------


(subclass Precipitation Falling) Merge.kif 11076-11076
(subclass Sinking Falling) Mid-level-ontology.kif 12568-12568
(termFormat ChineseLanguage Falling "落下") domainEnglishFormat.kif 23169-23169
(termFormat ChineseTraditionalLanguage Falling "落下") domainEnglishFormat.kif 23168-23168
(termFormat EnglishLanguage Falling "falling") domainEnglishFormat.kif 23167-23167

antecedent
-------------------------


(=>
    (and
        (instance ?DROP Falling)
        (origin ?DROP ?START)
        (destination ?DROP ?FINISH))
    (orientation ?FINISH ?START Below))
Merge.kif 11420-11425

consequent
-------------------------


(=>
    (holdsDuring ?T
        (attribute ?H Dizzy))
    (holdsDuring ?T
        (believes ?H
            (=>
                (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 15832-15847
(=>
    (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 1352-1372
(=>
    (instance ?SH SafetyHarness)
    (hasPurpose ?SH
        (=>
            (and
                (instance ?PERSON Animal)
                (wears ?PERSON ?SH))
            (exists (?PROC ?INJ)
                (and
                    (instance ?PROC Process)
                    (instrument ?PROC ?SH)
                    (patient ?PROC ?PERSON)
                    (subclass ?INJ
                        (KappaFn ?I
                            (and
                                (instance ?I Injuring)
                                (exists (?F ?H)
                                    (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 3389-3418


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