| FactualText
| |
| appearance as argument number 1 |
|
|
| (disjoint FactualText FictionalText) | Merge.kif 15520-15520 | |
| (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 15521-15526 | |
| (externalImage FactualText "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Variable_message_sign.jpg") | pictureList.kif 2673-2673 | |
| (subclass FactualText Text) | Merge.kif 15519-15519 |
| appearance as argument number 2 |
|
|
| (subclass Announcement FactualText) | Mid-level-ontology.kif 15908-15908 | |
| (subclass Documentary FactualText) | Mid-level-ontology.kif 15973-15973 | |
| (subclass Electrocardiogram FactualText) | Medicine.kif 3463-3463 | |
| (subclass HistoricalAccount FactualText) | Mid-level-ontology.kif 16274-16274 | |
| (subclass Letter FactualText) | Mid-level-ontology.kif 16195-16195 | |
| (subclass Message FactualText) | Mid-level-ontology.kif 16158-16158 | |
| (subclass PartyPlatform FactualText) | Government.kif 2280-2280 | |
| (subclass PerformanceProgram FactualText) | Mid-level-ontology.kif 15924-15924 | |
| (subclass ReferenceBook FactualText) | Mid-level-ontology.kif 16305-16305 | |
| (subclass Report FactualText) | Mid-level-ontology.kif 16162-16162 | |
| (subclass WeatherForecast FactualText) | Weather.kif 3188-3188 | |
| (termFormat ChineseLanguage FactualText "事实文本") | domainEnglishFormat.kif 23160-23160 | |
| (termFormat ChineseTraditionalLanguage FactualText "事實文本") | domainEnglishFormat.kif 23159-23159 | |
| (termFormat EnglishLanguage FactualText "factual text") | domainEnglishFormat.kif 23158-23158 |
| antecedent |
|
|
| (=> (and (instance ?TEXT ?CLASS) (subclass ?CLASS FactualText) (authors ?AGENT ?CLASS) (subsumesContentInstance ?TEXT ?CONTENT) (instance ?CONTENT Formula)) (believes ?AGENT ?CONTENT)) |
Merge.kif 15538-15545 |
|
|
|