| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22773-22773 | ClassificationScheme est une sous-classe de proposition |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22778-22778 | Taxonomy est une sous-classe de ClassificationScheme |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22799-22799 | Ontology est une sous-classe de ClassificationScheme |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2233-2233 | CodeMap est une sous-classe de ClassificationScheme |
|
|