(=> (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 15431-15440 |
|
(subclass FictionalText Text) | Merge.kif 15409-15409 | 子類 虛構的文字 and Text |
(subclass ShortStory FictionalText) | Mid-level-ontology.kif 14929-14929 | 子類 短篇故事 and 虛構的文字 |
(subclass MysteryStory FictionalText) | Mid-level-ontology.kif 14934-14934 | 子類 神秘的故事 and 虛構的文字 |
(subclass Novel FictionalText) | Mid-level-ontology.kif 14945-14945 | 子類 小說 and 虛構的文字 |
(subclass DramaticPlay FictionalText) | Mid-level-ontology.kif 14950-14950 | 子類 戲劇性的表演 and 虛構的文字 |