| (subclass Argument Proposition) | Merge.kif 16834-16834 | 争论 是 命题 的 subclass |
| (subclass LegalOpinion Argument) | Mid-level-ontology.kif 16182-16182 | 法律意见 是 争论 的 subclass |
| (subclass DeductiveArgument Argument) | Merge.kif 16854-16854 | 演绎论证 是 争论 的 subclass |
| (subclass InductiveArgument Argument) | Merge.kif 16886-16886 | 归纳论证 是 争论 的 subclass |
|
|