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, folklore, heroic_poetry, legend, literary, mythic, mythical, mythologic, mythological, poem, poesy, poetry, story, utopia, verse, verse_form

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3556-3558
No TPTP formula. May not be expressible in strict first order. Merge.kif 15410-15416
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2675-2675
No TPTP formula. May not be expressible in strict first order. Merge.kif 15409-15409 Fictional text is a subclass of text

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15382-15382 Factual text is disjoint from fictional text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14925-14925 Narrative text is exhaustively partitioned into fictional text and historical account
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14950-14950 Dramatic play is a subclass of fictional text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14934-14934 Mystery story is a subclass of fictional text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14945-14945 Novel is a subclass of fictional text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14929-14929 Short story is a subclass of fictional text
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23612-23612
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23611-23611
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23610-23610

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15431-15440

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15967-15981


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 3.0 is open source software produced by Articulate Software and its partners