TreeView Knowledge Base Browser - causesProposition

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

causesProposition

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 3689-3698
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3686-3686	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 3687-3687	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 3685-3685	causes proposition is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3684-3684	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 13450-13450
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13449-13449
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13448-13448

antecedent

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

Merge.kif 3700-3707

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 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