| FictionalText(fictional text)
|
| appearance as argument number 1 |
|
| (subclass FictionalText Text) | Merge.kif 15584-15584 | Fictional text is a subclass of 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 15585-15591 | Fictional text is a subclass of text |
| (subclass FictionalText NarrativeText) | Mid-level-ontology.kif 16450-16450 | 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 |
|
|
| 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 15606-15615 | 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 subsumes the content of W, W is an instance of formula, 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 17508-17519 | 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 |
|
|
|