| (subclass Argument Proposition) | Merge.kif 16883-16883 | Argument は 命題 の subclass では %n |
| (subclass LegalOpinion Argument) | Mid-level-ontology.kif 16210-16210 | LegalOpinion は Argument の subclass では %n |
| (subclass DeductiveArgument Argument) | Merge.kif 16903-16903 | DeductiveArgument は Argument の subclass では %n |
| (subclass InductiveArgument Argument) | Merge.kif 16935-16935 | InductiveArgument は Argument の subclass では %n |
|
|