| FictionalText(虛構的文字)
| |
| appearance as argument number 1 |
|
|
| (documentation FictionalText ChineseLanguage "这个 Text 类别属于据称主要来自作者的想象力的作品， 即是作者并不相信文本所传达的内容是准确地描绘现实世界。注：尽管所说的全部属实，这还是可以当成是 FictionalText 的实例。一样东西是否属于 FictionalText这个决定来自文本作者的信念。") | chinese_format.kif 3556-3558 | |
| (documentation FictionalText EnglishLanguage "The class of Texts that purport to be largely a product of the author's imagination, i.e. the author does not believe that most of the content conveyed by the text is an accurate depiction of the real world. Note that something can be an instance of FictionalText, even if it is completely true. Whether something is a FictionalText is determined by the beliefs of the agent creating the text.") | Merge.kif 15410-15416 | |
| (externalImage FictionalText "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Alice_par_John_Tenniel_30.png") | pictureList.kif 2675-2675 | |
| (subclass FictionalText Text) | Merge.kif 15409-15409 | 子類 虛構的文字 and Text |
| appearance as argument number 2 |
|
|
| (disjoint FactualText FictionalText) | Merge.kif 15382-15382 | 不相交的 事實文本 and 虛構的文字 |
| (partition NarrativeText FictionalText HistoricalAccount) | Mid-level-ontology.kif 14925-14925 | 劃分 敘述文本, 虛構的文字 and 歷史記錄 |
| (subclass DramaticPlay FictionalText) | Mid-level-ontology.kif 14950-14950 | 子類 戲劇性的表演 and 虛構的文字 |
| (subclass MysteryStory FictionalText) | Mid-level-ontology.kif 14934-14934 | 子類 神秘的故事 and 虛構的文字 |
| (subclass Novel FictionalText) | Mid-level-ontology.kif 14945-14945 | 子類 小說 and 虛構的文字 |
| (subclass ShortStory FictionalText) | Mid-level-ontology.kif 14929-14929 | 子類 短篇故事 and 虛構的文字 |
| (termFormat ChineseLanguage FictionalText "虚构的文字") | domainEnglishFormat.kif 23612-23612 | |
| (termFormat ChineseTraditionalLanguage FictionalText "虛構的文字") | domainEnglishFormat.kif 23611-23611 | |
| (termFormat EnglishLanguage FictionalText "fictional text") | domainEnglishFormat.kif 23610-23610 |
| antecedent |
|
|
| (=> (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 |
|
| consequent |
|
|
| (=> (instance ?CAST DramaticCast) (exists (?TEXT ?PROP ?PROC) (and (instance ?TEXT FictionalText) (containsInformation ?TEXT ?PROP) (realization ?PROC ?PROP) (forall (?MEMBER) (=> (member ?MEMBER ?CAST) (exists (?SUB) (and (instance ?SUB DramaticActing) (agent ?SUB ?MEMBER) (subProcess ?SUB ?PROC)))))))) |
Mid-level-ontology.kif 15967-15981 |
|
|
|
|