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 3818-3827
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 717-722
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3815-3815	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 3816-3816	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 3814-3814	causes proposition is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3813-3813	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 13521-13521
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13520-13520
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13519-13519

antecedent

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

Merge.kif 3829-3836

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 happens 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 exist another entity and another time interval such that the other 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 1945-1958	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.	Medicine.kif 3653-3666	If a process is an instance of gaslighting and an agent is an agent of the process and another agent suffers from the process, then there exists another process such that the other process is an instance of perception and the other agent experiences the other process and the other agent doesn't know an entity is a result of the other process is a causes proposition of the other agent suffers from the process
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 793-803	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 1100-1110	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 3.0 is open source software produced by Articulate Software and its partners