No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22772-22772 | ClassificationScheme e' uma sub-classe de Proposicao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22777-22777 | Taxonomy e' uma sub-classe de ClassificationScheme |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22798-22798 | Ontology e' uma sub-classe de ClassificationScheme |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2233-2233 | CodeMap e' uma sub-classe de ClassificationScheme |