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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FictionalText

 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 15432-15438
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 15431-15431 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 15404-15404 Factual text is disjoint from fictional text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14924-14924 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 14949-14949 Dramatic play is a subclass of fictional text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14933-14933 Mystery story is a subclass of fictional text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14944-14944 Novel is a subclass of fictional text
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14928-14928 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 15453-15462

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


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


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