No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22773-22773 | Classification scheme is a subclass of proposition |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22778-22778 | Taxonomy is a subclass of classification scheme |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22799-22799 | Ontology is a subclass of classification scheme |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2233-2233 | Code map is a subclass of classification scheme |