FactualText - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint FactualText FictionalText)	Merge.kif 15382-15382	FactualText と FictionalText は disjoint では %n
(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 15383-15388
(externalImage FactualText "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Variable-message-sign.jpg")	pictureList.kif 2674-2674
(subclass FactualText Text)	Merge.kif 15381-15381	FactualText はテキストの subclass では %n

appearance as argument number 2

(subclass Announcement FactualText)	Mid-level-ontology.kif 14519-14519	Announcement は FactualText の subclass では %n
(subclass Documentary FactualText)	Mid-level-ontology.kif 14584-14584	Documentary は FactualText の subclass では %n
(subclass Electrocardiogram FactualText)	Medicine.kif 3462-3462	Electrocardiogram は FactualText の subclass では %n
(subclass HistoricalAccount FactualText)	Mid-level-ontology.kif 14883-14883	HistoricalAccount は FactualText の subclass では %n
(subclass Letter FactualText)	Mid-level-ontology.kif 14804-14804	Letter は FactualText の subclass では %n
(subclass Message FactualText)	Mid-level-ontology.kif 14767-14767	Message は FactualText の subclass では %n
(subclass PartyPlatform FactualText)	Government.kif 2319-2319	PartyPlatform は FactualText の subclass では %n
(subclass PerformanceProgram FactualText)	Mid-level-ontology.kif 14535-14535	PerformanceProgram は FactualText の subclass では %n
(subclass ReferenceBook FactualText)	Mid-level-ontology.kif 14914-14914	ReferenceBook は FactualText の subclass では %n
(subclass Report FactualText)	Mid-level-ontology.kif 14771-14771	Report は FactualText の subclass では %n
(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 15400-15407