No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15428-15428 |
FactualText e' disjunto de FictionalText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14952-14952 |
O conceito NarrativeText e' completamente decomposto em FictionalText + HistoricalAccount |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14977-14977 |
DramaticPlay e' uma sub-classe de FictionalText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14961-14961 |
MysteryStory e' uma sub-classe de FictionalText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14972-14972 |
Novel e' uma sub-classe de FictionalText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14956-14956 |
ShortStory e' uma sub-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 |
|