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