(=> (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 15453-15462 | |
(subclass FictionalText Text) | Merge.kif 15431-15431 | 虚构的文字 是 文本 的 subclass |
(subclass ShortStory FictionalText) | Mid-level-ontology.kif 14928-14928 | 短篇故事 是 虚构的文字 的 subclass |
(subclass MysteryStory FictionalText) | Mid-level-ontology.kif 14933-14933 | 神秘的故事 是 虚构的文字 的 subclass |
(subclass Novel FictionalText) | Mid-level-ontology.kif 14944-14944 | 小说 是 虚构的文字 的 subclass |
(subclass DramaticPlay FictionalText) | Mid-level-ontology.kif 14949-14949 | 戏剧性的表演 是 虚构的文字 的 subclass |