Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Argument

 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 15669-15671
No TPTP formula. May not be expressible in strict first order. Merge.kif 15668-15668 争论 详尽无遗地 partition 成 演绎论证 和 归纳论证
No TPTP formula. May not be expressible in strict first order. Merge.kif 15667-15667 争论 是 命题 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15687-15687 演绎论证 是 争论 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15719-15719 归纳论证 是 争论 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13857-13857 法律意见 是 争论 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8351-8351
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8350-8350
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8349-8349

appearance as argument number 3
-------------------------


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

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15739-15745
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18870-18899
No TPTP formula. May not be expressible in strict first order. Merge.kif 15680-15685

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Law.kif 223-231
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1297-1304
No TPTP formula. May not be expressible in strict first order. Merge.kif 15673-15678


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