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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InvalidDeductiveArgument

Sigma KEE - InvalidDeductiveArgument
InvalidDeductiveArgument(無效的演繹論證)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3771-3772
No TPTP formula. May not be expressible in strict first order. Merge.kif 16876-16878
No TPTP formula. May not be expressible in strict first order. Merge.kif 16875-16875 子類 無效的演繹論證 and 演繹論證

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30805-30805
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30804-30804
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30803-30803

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16855-16855 劃分 演繹論證, 有效的演繹論證 and 無效的演繹論證


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