Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FictionalText
FictionalText(fictional text)
Arthurian_legend, dystopia, epic_poetry, fable, fabulous, fiction, fictional, fictional_text, folklore, heroic_poetry, legend, literary, mythic, mythical, mythologic, mythological, poem, poesy, poetry, story, utopia, verse, verse_form, 虚构的文字, 虛構的文字

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 14138-14144
(externalImage FictionalText "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Alice_par_John_Tenniel_30.png") pictureList.kif 2676-2676 "http://upload.wikimedia.org/wikipedia/commons/b/ba/ Alice_par_John_Tenniel_30.png" is a URL depicting fictional text
(subclass FictionalText Text) Merge.kif 14137-14137 Fictional text is a subclass of text

appearance as argument number 2
-------------------------


(disjoint FactualText FictionalText) Merge.kif 14110-14110 Factual text is disjoint from fictional text
(partition NarrativeText FictionalText HistoricalAccount) Mid-level-ontology.kif 12627-12627 Narrative text is exhaustively partitioned into fictional text and historical account
(subclass DramaticPlay FictionalText) Mid-level-ontology.kif 12652-12652 Dramatic play is a subclass of fictional text
(subclass MysteryStory FictionalText) Mid-level-ontology.kif 12636-12636 Mystery story is a subclass of fictional text
(subclass Novel FictionalText) Mid-level-ontology.kif 12647-12647 Novel is a subclass of fictional text
(subclass ShortStory FictionalText) Mid-level-ontology.kif 12631-12631 Short story is a subclass of fictional text
(termFormat ChineseLanguage FictionalText "虚构的文字") domainEnglishFormat.kif 23545-23545 "虚构的文字" is the printable form of fictional text in ChineseLanguage
(termFormat ChineseTraditionalLanguage FictionalText "虛構的文字") domainEnglishFormat.kif 23544-23544 "虛構的文字" is the printable form of fictional text in ChineseTraditionalLanguage
(termFormat EnglishLanguage FictionalText "fictional text") domainEnglishFormat.kif 23543-23543 "fictional text" is the printable form of fictional text in english language

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 14159-14168

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 13622-13636


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners