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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ValidDeductiveArgument

 Sigma KEE - ValidDeductiveArgument
ValidDeductiveArgument(有效的演绎论证)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3769-3770
No TPTP formula. May not be expressible in strict first order. Merge.kif 16839-16840
No TPTP formula. May not be expressible in strict first order. Merge.kif 16838-16838 有效的演绎论证 是 演绎论证 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16833-16833 演绎论证 详尽无遗地 partition 成 有效的演绎论证 和 无效的演绎论证
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61190-61190
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61189-61189
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61188-61188

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16842-16851


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