No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14945-14945 | Novel is a subclass of fictional text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14946-14946 | Novel is a subclass of book |