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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FactualText
FactualText
accounting_data, ammunition, book, business_news, certificate, certification, corroborating_evidence, credential, credentials, cross_section, data, data_file, descriptor, document, factual_text, file, hard_news, info, information, intelligence, latest, marginalia, material, metadata, news, nonfiction, nonfictional_prose, note, nuts_and_bolts, papers, predictor, random_sample, read-out, readout, record, record_book, skinny, soft_news, specification, stop_press, tasting, tidings, voucher, word, written_document

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


s__disjoint(s__FactualText,s__FictionalText)

Merge.kif 15425-15425
s__documentation(s__FactualText,s__ChineseLanguage,'这是旨在揭示世界事实的 Text 类别。这些文本通常被称为 信息或非小说。注:尽管所说的全非属实,这还是可以当成是 FactualText 的实例。一样东西是否属于 FactualText, 这个决定来自文本作者的信念。')

Merge.kif 15432-15434
s__documentation(s__FactualText,s__EnglishLanguage,'The class of Texts that purport to reveal facts about the world. Such texts are often known as information or as non-fiction. Note that something can be an instance of FactualText, even if it is wholly inaccurate. Whether something is a FactualText is determined by the beliefs of the agent creating the text.')

Merge.kif 15426-15431
s__externalImage(s__FactualText,'http://upload.wikimedia.org/wikipedia/commons/0/02/Variable-message-sign.jpg')

pictureList.kif 2675-2675
s__instance(s__Text,s__SetOrClass)

Merge.kif 15424-15424

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


s__subclass(s__Announcement,s__FactualText)

Mid-level-ontology.kif 12266-12266
s__subclass(s__Documentary,s__FactualText)

Mid-level-ontology.kif 12330-12330
s__instance(s__HistoricalAccount,s__SetOrClass)

Mid-level-ontology.kif 12587-12587
s__instance(s__Letter,s__SetOrClass)

Mid-level-ontology.kif 12548-12548
s__instance(s__Message,s__SetOrClass)

Mid-level-ontology.kif 12511-12511
s__instance(s__PartyPlatform,s__SetOrClass)

Government.kif 2266-2266
s__subclass(s__PerformanceProgram,s__FactualText)

Mid-level-ontology.kif 12281-12281
s__instance(s__ReferenceBook,s__SetOrClass)

Mid-level-ontology.kif 12617-12617
s__instance(s__Report,s__SetOrClass)

Mid-level-ontology.kif 12515-12515
s__termFormat(s__EnglishLanguage,s__FactualText,'factual text')

domainEnglishFormat.kif 4279-4279

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15446-15453


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