Falling - Sigma 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 11553-11555
(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 11551-11551	Falling is a subclass of motion downward
(subclass Falling Translocation)	Merge.kif 11550-11550	Falling is a subclass of translocation

appearance as argument number 2

(subclass Precipitation Falling)	Merge.kif 11191-11191	Precipitation is a subclass of falling
(subclass Sinking Falling)	Mid-level-ontology.kif 13079-13079	Sinking is a subclass of falling
(termFormat ChineseLanguage Falling "落下")	domainEnglishFormat.kif 23182-23182
(termFormat ChineseTraditionalLanguage Falling "落下")	domainEnglishFormat.kif 23181-23181
(termFormat EnglishLanguage Falling "falling")	domainEnglishFormat.kif 23180-23180

antecedent

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

Merge.kif 11557-11562

If a process is an instance of falling and the process originates at an object and the process ends up at another object,
then the other object is below to the object

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 3389-3417	If a wearable item is an instance of safety harness and an animal is an instance of animal and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the wearable item is an instrument for the entity and the animal is a patient of the entity and the other entity is a subclass of the class described by the third entity and the entity prevents the occurrence of the other 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 16382-16398	If dizzy is an attribute of an entity holds during a time position, then the entity believes if there exists the time position such that the time position takes place during the time position and standing is an attribute of the entity holds during the time position, then there exists a third entity such that the third entity is an instance of falling and the entity experiences the third entity and the time position meets the time of existence of the third entity holds during the time position
(=> (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 1353-1373	If a process is an instance of breaking wave, then there exist another process, an object,, , an entity and a transfer such that the other process is an instance of water wave and the process is a subprocess of the other process and the object is an instance of body of water and the entity is an instance of body of water and the entity is a patient of the other process and the object is a patient of the process and the transfer is an instance of falling and the object transferred in the transfer is the object and the object is a part of the entity holds during the beginning of the time of existence of the transfer and the object is not a part of the entity holds during the end of the time of existence of the transfer
(=> (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 5296-5307	If an entity is an instance of felling, then there exist a process, another process,, , an object and another object such that the process is an instance of cutting and the object is a patient of the process and the object is an instance of botanical tree and the other process is a result of the process and the other process is an instance of falling and the other object is a patient of the other process and the other object is an instance of plant stem and the other object is a part of the object

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

KB Term:			Term intersection

English Word: