| (=> (and (instance ?TEXT ?CLASS) (subclass ?CLASS FictionalText) (authors ?AGENT ?CLASS)) (exists (?CONTENT) (and (subsumesContentInstance ?TEXT ?CONTENT) (instance ?CONTENT Formula) (not (believes ?AGENT ?CONTENT))))) |
Merge.kif 14312-14321 | |
| (subclass FictionalText Text) | Merge.kif 14290-14290 | |
| (subclass ShortStory FictionalText) | Mid-level-ontology.kif 12659-12659 | |
| (subclass MysteryStory FictionalText) | Mid-level-ontology.kif 12664-12664 | |
| (subclass Novel FictionalText) | Mid-level-ontology.kif 12675-12675 | |
| (subclass DramaticPlay FictionalText) | Mid-level-ontology.kif 12680-12680 |
|
|