TreeView Knowledge Base Browser - Argument

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Argument

Argument(争论)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3765-3766
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16989-16991
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16988-16988	争论详尽无遗地 partition 成演绎论证和归纳论证
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16987-16987	争论是命题的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17007-17007	演绎论证是争论的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17039-17039	归纳论证是争论的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17570-17570	法律意见是争论的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8341-8341	法律意见是争论的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8340-8340	法律意见是争论的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8339-8339	法律意见是争论的 subclass

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17054-17054	前提函数的 1 数量是争论的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17070-17070	结论的 1 数量是争论的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17046-17046	前提的 1 数量是争论的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17059-17065	如果争论是争论的 instance 和 equal 公式 and 那个争论 Argument 的 premise，然后命题是那个公式的 subProposition 若且唯若那个命题是那个争论的 premise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22764-22794	如果命题是争论的 instance 和过程是推理的 instance 和另一个命题是 Archeology 的 instance 和那个命题是那个另外命题的 subProposition 和那个过程表示那个命题的内容，然后有存在另一个过程，实体,，，物理,，，实数,，，另一个实体， and 和第三实体这样那个另外过程是发现的 instance 和那个物理是客体的 instance 和那个物理是那个另外过程的 patient 和那个过程提到那个另外过程和那个另外过程出现的 time 比那个过程出现的 time发生的earlier 和那个物理的 age 是那个实数年持续时间和那个实数是 greaterThan 50 和那个实体是那个另外实体的 surface 和那个另外实体是水体的 instance 和那个物理在那个实体的下面或那个实体是那个第三实体的 surface 和那个第三实体是土地面积的 instance 和那个物理在那个实体的下面在紧接那个另外过程出现的 time before holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17000-17005	如果争论是争论的 instance，然后有存在公式和另一个争论这样 equal 那个争论 Argument 的 premise and 那个公式和那个另外争论 Argument 的 conclusion 是那个争论

consequent

No TPTP formula. May not be expressible in strict first order.	Law.kif 180-188	如果 evidence 法律诉讼 and 物理，然后有存在争论和那个物理ROP 这样那个物理ROP 是命题的 instance 和那个争论是争论的 instance 和那个争论提到那个法律诉讼和那个物理ROP 表达那个物理和那个物理ROP 是那个争论的 premise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 902-909	如果过程是争论的 instance，然后有存在内容承载物理和命题这样那个内容承载物理是那个过程的 patient 和那个内容承载物理是声明的 instance 和那个内容承载物理 contains 那个命题的资料和那个命题是争论的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16993-16998	如果过程是推理的 instance，然后有存在命题这样那个命题是争论的 instance 和那个过程表示那个命题的内容

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