| (subclass ClassificationScheme Proposition) | Mid-level-ontology.kif 22825-22825 | ClassificationScheme は 命題 の subclass では %n |
| (subclass Taxonomy ClassificationScheme) | Mid-level-ontology.kif 22830-22830 | Taxonomy は ClassificationScheme の subclass では %n |
| (subclass Ontology ClassificationScheme) | Mid-level-ontology.kif 22851-22851 | Ontology は ClassificationScheme の subclass では %n |
| (subclass CodeMap ClassificationScheme) | Media.kif 2233-2233 | CodeMap は ClassificationScheme の subclass では %n |
|
|