No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14923-14923 | NarrativeText est une sous-classe de texte |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14881-14881 | HistoricalAccount est une sous-classe de NarrativeText |