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 3825-3834
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 3822-3822	引起主张的 1 数量是公式的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3823-3823	引起主张的 2 数量是公式的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3821-3821	引起主张是非对称关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3820-3820	引起主张是二元谓语的 instance

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 13506-13506
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13505-13505
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13504-13504

antecedent

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

Merge.kif 3836-3843

如果公式在时距 holdsDuring 和另一个公式在另一个时距 holdsDuring 和那个另外时距是时距的 instance 和那个时距是时距的 instance 和那个公式是那个另外公式的 causes 提议，
然后那个另外时距的开始%n{doesn't}在那个时距的开始之前或同时发生

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 101-111	如果国内流离失所者是实体的 attribute 在时距 holdsDuring 和那个时距是时距的 instance，然后有存在另一个实体和另一个时距这样那个另外时距比那个时距发生的earlier 和国内流离失所者是那个实体的 attribute 在那个时距 holdsDuring 是那个实体 fears 那个另外实体在那个另外时距 holdsDuring 的 causes 提议
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1945-1958	如果过程是 AngryVoiceUtterance 的 instance 和施事体是那个过程的 agent，然后那个过程是 AngryVoiceUtterance 的 instance 和那个施事体是那个过程的 agent 是有存在那个施事体NG 这样那个施事体NG 是愤怒的 instance 和那个施事体经历了那个施事体NG 的 causes 提议的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3665-3678	如果过程是 Gaslighting 的 instance 和施事体是那个过程的 agent 和另一个施事体 suffers 从那个过程，然后有存在另一个过程这样那个另外过程是感知的 instance 和那个另外施事体经历了那个另外过程和那个另外施事体 doesn't knows 实体是那个另外过程的 result 是那个另外施事体 suffers 从那个过程的 causes 提议
No TPTP formula. May not be expressible in strict first order.	emotion.kif 766-775	如果 Schadenfreude 是客体的 attribute，然后有存在那个客体2 和公式这样 Schadenfreude 是那个客体的 attribute 是那个公式的 causes 提议和那个客体不 equal 那个客体2 和那个客体2 doesn't desires 那个公式
No TPTP formula. May not be expressible in strict first order.	emotion.kif 793-803	如果 SensoryPleasure 是实体的 attribute 在时距 holdsDuring，然后有存在物理这样那个物理是感知的 instance 和那个时距在那个物理出现的 time 时段内发生和 SensoryPleasure 是那个实体的 attribute 在那个时距 holdsDuring 是那个实体经历了那个物理的 causes 提议
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1100-1110	如果 SexualPleasure 是实体的 attribute 在时距 holdsDuring，然后有存在物理这样那个物理是交配的 instance 和那个时距在那个物理出现的 time 时段内发生和 SexualPleasure 是那个实体的 attribute 在那个时距 holdsDuring 是那个实体是那个物理的 agent 的 causes 提议

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