No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15404-15404 |
FactualText est disjoint de FictionalText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14924-14924 |
NarrativeText est compl�tement d�compos� en FictionalText + HistoricalAccount |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14949-14949 |
DramaticPlay est une sous-classe de FictionalText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14933-14933 |
MysteryStory est une sous-classe de FictionalText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14944-14944 |
Novel est une sous-classe de FictionalText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14928-14928 |
ShortStory est une sous-classe de FictionalText |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23612-23612 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23611-23611 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23610-23610 |
|