No TPTP formula. May not be expressible in strict first order. | Merge.kif 16883-16883 | 争论 是 命题 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16210-16210 | 法律意见 是 争论 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16903-16903 | 演绎论证 是 争论 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16935-16935 | 归纳论证 是 争论 的 subclass |