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 3838-3847
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 3835-3835	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 3836-3836	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 3834-3834	causes proposition is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3833-3833	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 13515-13515
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13514-13514
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13513-13513

antecedent

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

Merge.kif 3849-3856

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 3668-3681	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 equal the object and 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 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