causesProposition - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - causesProposition

causesProposition

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2071-2076
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3653-3662
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3650-3650	The number 1 argument of causes proposition is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3651-3651	The number 2 argument of causes proposition is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3649-3649	causes proposition is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3648-3648	causes proposition is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 392-392
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 391-391
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 390-390
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13441-13441
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13440-13440
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13439-13439

antecedent

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

Merge.kif 3664-3671

If a formula holds during a time interval and another formula holds during another time interval and the other time interval is an instance of time interval and the time interval is an instance of time interval and the formula is a causes proposition of the other formula,
then the beginning of the other time interval happen%{s} before or at the beginning of the time interval

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 101-111	If internally displaced person is an attribute of an entity holds during a time interval and the time interval is an instance of time interval, then there exists another entity such that another time interval happens earlier than the time interval and internally displaced person is an attribute of the entity holds during the time interval is a causes proposition of the entity fears the other entity holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1849-1862	If a process is an instance of angry voice utterance and an agent is an agent of the process, then the statement the process is an instance of angry voice utterance and the agent is an agent of the process is a causes proposition of there exists the agentNG such that the agentNG is an instance of anger and the agent experiences the agentNG has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 787-793	If pleasure is an attribute of a cognitive agent, then there exists a formula such that schadenfreude is an attribute of the cognitive agent is a causes proposition of the formula and the cognitive agent desires the formula
No TPTP formula. May not be expressible in strict first order.	emotion.kif 766-775	If schadenfreude is an attribute of an object, then there exist the object2 and a formula such that schadenfreude is an attribute of the object is a causes proposition of the formula and the object is not equal to the object2 and the object2 doesn't desire the formula
No TPTP formula. May not be expressible in strict first order.	emotion.kif 801-811	If sensory pleasure is an attribute of an entity holds during a time interval, then there exists a physical such that the physical is an instance of perception and the time interval takes place during the time of existence of the physical and sensory pleasure is an attribute of the entity holds during the time interval is a causes proposition of the entity experiences the physical
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1108-1118	If sexual pleasure is an attribute of an entity holds during a time interval, then there exists a physical such that the physical is an instance of mating and the time interval takes place during the time of existence of the physical and sexual pleasure is an attribute of the entity holds during the time interval is a causes proposition of the entity is an agent of the physical

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