FactualText |
appearance as argument number 1 |
(disjoint FactualText FictionalText) | Merge.kif 15404-15404 | |
(documentation FactualText ChineseLanguage "这是旨在揭示世界事实的 Text 类别。这些文本通常被称为 信息或非小说。注:尽管所说的全非属实,这还是可以当成是 FactualText 的实例。一样东西是否属于 FactualText, 这个决定来自文本作者的信念。") | chinese_format.kif 3553-3555 | |
(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 15405-15410 | |
(externalImage FactualText "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Variable-message-sign.jpg") | pictureList.kif 2674-2674 | |
(subclass FactualText Text) | Merge.kif 15403-15403 |
appearance as argument number 2 |
(subclass Announcement FactualText) | Mid-level-ontology.kif 14518-14518 | |
(subclass Documentary FactualText) | Mid-level-ontology.kif 14583-14583 | |
(subclass Electrocardiogram FactualText) | Medicine.kif 3462-3462 | |
(subclass HistoricalAccount FactualText) | Mid-level-ontology.kif 14882-14882 | |
(subclass Letter FactualText) | Mid-level-ontology.kif 14803-14803 | |
(subclass Message FactualText) | Mid-level-ontology.kif 14766-14766 | |
(subclass PartyPlatform FactualText) | Government.kif 2319-2319 | |
(subclass PerformanceProgram FactualText) | Mid-level-ontology.kif 14534-14534 | |
(subclass ReferenceBook FactualText) | Mid-level-ontology.kif 14913-14913 | |
(subclass Report FactualText) | Mid-level-ontology.kif 14770-14770 | |
(termFormat ChineseLanguage FactualText "事实文本") | domainEnglishFormat.kif 23146-23146 | |
(termFormat ChineseTraditionalLanguage FactualText "事實文本") | domainEnglishFormat.kif 23145-23145 | |
(termFormat EnglishLanguage FactualText "factual text") | domainEnglishFormat.kif 23144-23144 |
antecedent |
(=> (and (instance ?TEXT ?CLASS) (subclass ?CLASS FactualText) (authors ?AGENT ?CLASS) (subsumesContentInstance ?TEXT ?CONTENT) (instance ?CONTENT Formula)) (believes ?AGENT ?CONTENT)) |
Merge.kif 15422-15429 |