Falling - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Falling

Falling(falling)

crash, cut_down, drop, fall, fell, flop, pratfall, spill, strike_down, topple, tumble, wipeout

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3062-3063
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11718-11720
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1830-1831
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5999-5999
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11716-11716	Falling is a subclass of motion downward
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11715-11715	Falling is a subclass of translocation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11330-11330	Precipitation is a subclass of falling
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14456-14456	Sinking is a subclass of falling
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23190-23190	Sinking is a subclass of falling
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23189-23189	Sinking is a subclass of falling
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23188-23188	Sinking is a subclass of falling

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 11722-11727

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

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3450-3478	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17818-17834	If dizziness is an attribute of an entity holds during a time position, then the entity believes if there exists the time position2 such that the time position2 takes place during the time position and standing is an attribute of the entity holds during the time position2, 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 position2 meets the time of existence of the third entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1337-1357	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5814-5825	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