(=> (and (instance ?TEXT ?CLASS) (subclass ?CLASS FactualText) (authors ?AGENT ?CLASS) (subsumesContentInstance ?TEXT ?CONTENT) (instance ?CONTENT Formula)) (believes ?AGENT ?CONTENT)) |
Merge.kif 15400-15407 | |
(subclass FactualText Text) | Merge.kif 15381-15381 | 事实文本 是 文本 的 subclass |
(subclass Announcement FactualText) | Mid-level-ontology.kif 14519-14519 | 公告 是 事实文本 的 subclass |
(subclass PerformanceProgram FactualText) | Mid-level-ontology.kif 14535-14535 | 表演计划 是 事实文本 的 subclass |
(subclass Documentary FactualText) | Mid-level-ontology.kif 14584-14584 | 记录 是 事实文本 的 subclass |
(subclass Message FactualText) | Mid-level-ontology.kif 14767-14767 | 信息 是 事实文本 的 subclass |
(subclass Report FactualText) | Mid-level-ontology.kif 14771-14771 | 报告 是 事实文本 的 subclass |
(subclass Letter FactualText) | Mid-level-ontology.kif 14804-14804 | 信件 是 事实文本 的 subclass |
(subclass HistoricalAccount FactualText) | Mid-level-ontology.kif 14883-14883 | 历史记录 是 事实文本 的 subclass |
(subclass ReferenceBook FactualText) | Mid-level-ontology.kif 14914-14914 | 参考书 是 事实文本 的 subclass |
(subclass Electrocardiogram FactualText) | Medicine.kif 3462-3462 | Electrocardiogram 是 事实文本 的 subclass |
(subclass PartyPlatform FactualText) | Government.kif 2319-2319 | 党的平台 是 事实文本 的 subclass |