No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22772-22772 | Classification scheme is a subclass of proposition |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22777-22777 | Taxonomy is a subclass of classification scheme |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22798-22798 | 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 |