TreeView Knowledge Base Browser

appearance as argument number 1

(subclass FictionalText Text)	Merge.kif 15690-15690	Fictional text is a subclass of text
(subclass FictionalText NarrativeText)	Merge.kif 15693-15693	Fictional text is a subclass of narrative text
(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 15697-15703	Fictional text is a subclass of narrative text
(externalImage FictionalText "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Alice_par_John_Tenniel_30.png")	pictureList.kif 2674-2674	Fictional text is a subclass of narrative text

appearance as argument number 2

(disjoint FactualText FictionalText)	Merge.kif 15674-15674	Factual text is disjoint from fictional text
(partition NarrativeText FictionalText HistoricalAccount)	Mid-level-ontology.kif 16493-16493	Narrative text is exhaustively partitioned into fictional text and historical account
(subclass ShortStory FictionalText)	Mid-level-ontology.kif 16532-16532	Short story is a subclass of fictional text
(subclass MysteryStory FictionalText)	Mid-level-ontology.kif 16537-16537	Mystery story is a subclass of fictional text
(subclass Novel FictionalText)	Mid-level-ontology.kif 16548-16548	Novel is a subclass of fictional text
(subclass DramaticPlay FictionalText)	Mid-level-ontology.kif 16553-16553	Dramatic play is a subclass of fictional text
(termFormat EnglishLanguage FictionalText "fictional text")	domainEnglishFormat.kif 23608-23608	Dramatic play is a subclass of fictional text
(termFormat ChineseTraditionalLanguage FictionalText "虛構的文字")	domainEnglishFormat.kif 23609-23609	Dramatic play is a subclass of fictional text
(termFormat ChineseLanguage FictionalText "虚构的文字")	domainEnglishFormat.kif 23610-23610	Dramatic play is a subclass of fictional text

antecedent

(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FictionalText)
        (authors ?AGENT ?CLASS))
    (exists (?FORM)
        (and
            (containsFormula ?TEXT ?FORM)
            (not
                (believes ?AGENT ?FORM)))))

Merge.kif 15718-15727

If X is an instance of Y, Y is a subclass of fictional text, and Z is the author of Y, then there exists W such that X contains the formula W and Z doesn't believe W

consequent

(=>
    (and
        (instance ?CAST DramaticCast)
        (member ?MEMBER ?CAST))
    (exists (?TEXT ?PROP ?PROC ?SUB)
        (and
            (instance ?TEXT FictionalText)
            (containsInformation ?TEXT ?PROP)
            (realization ?PROC ?PROP)
            (instance ?SUB DramaticActing)
            (agent ?SUB ?MEMBER)
            (subProcess ?SUB ?PROC))))

Mid-level-ontology.kif 17578-17589

If X is an instance of dramatic cast and Y is a member of X, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of fictional text (3) Z contains information W (4) V expresses the content of W (5) U is an instance of dramatic acting (6) Y is an agent of U (7) U is a subprocess of V

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: