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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Falling
Falling

VerbNet: bump-18.4|crash, assuming_position-50|flop, escape-51.1|tumble, escape-51.1|tumble,


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 10682-10684
(externalImage Falling "http://upload.wikimedia.org/wikipedia/commons/d/ d0/ Statue_tripping.jpg") pictureList.kif 6001-6001
(subclass Falling MotionDownward) Merge.kif 10680-10680
(subclass Falling Translocation) Merge.kif 10679-10679

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


(subclass Precipitation Falling) Merge.kif 10353-10353
(subclass Sinking Falling) Mid-level-ontology.kif 10714-10714
(termFormat ChineseLanguage Falling "落下") domainEnglishFormat.kif 23107-23107
(termFormat ChineseTraditionalLanguage Falling "落下") domainEnglishFormat.kif 23106-23106
(termFormat EnglishLanguage Falling "falling") domainEnglishFormat.kif 23105-23105

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


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

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


(=>
    (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 3363-3392


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners