Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
FactualText(factual text)
|  | accounting_data, ammunition, book, business_news, certificate, certification, corroborating_evidence, credential, credentials, cross_section, data, data_file, descriptor, document, 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 |
|
|
| (subclass FactualText Text) | Merge.kif 15673-15673 | Factual text is a subclass of text |
| (disjoint FactualText FictionalText) | Merge.kif 15674-15674 | Factual text is disjoint from fictional text |
| (documentation FactualText 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 15675-15680 | Factual text is disjoint from fictional text |
| (externalImage FactualText "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Variable_message_sign.jpg") | pictureList.kif 2673-2673 | Factual text is disjoint from fictional text |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?TEXT ?CLASS) (subclass ?CLASS FactualText) (authors ?AGENT ?CLASS) (containsFormula ?TEXT ?CONTENT)) (believes ?AGENT ?CONTENT)) |
Merge.kif 15682-15688 | If X is an instance of Y, Y is a subclass of factual text, Z is the author of Y, and X contains the formula W, then Z believes W |
|