(=> (and (instance ?TEXT ?CLASS) (subclass ?CLASS FactualText) (authors ?AGENT ?CLASS) (subsumesContentInstance ?TEXT ?CONTENT) (instance ?CONTENT Formula)) (believes ?AGENT ?CONTENT)) |
Merge.kif 15422-15429 | |
(subclass FactualText Text) | Merge.kif 15403-15403 | |
(subclass Announcement FactualText) | Mid-level-ontology.kif 14518-14518 | |
(subclass PerformanceProgram FactualText) | Mid-level-ontology.kif 14534-14534 | |
(subclass Documentary FactualText) | Mid-level-ontology.kif 14583-14583 | |
(subclass Message FactualText) | Mid-level-ontology.kif 14766-14766 | |
(subclass Report FactualText) | Mid-level-ontology.kif 14770-14770 | |
(subclass Letter FactualText) | Mid-level-ontology.kif 14803-14803 | |
(subclass HistoricalAccount FactualText) | Mid-level-ontology.kif 14882-14882 | |
(subclass ReferenceBook FactualText) | Mid-level-ontology.kif 14913-14913 | |
(subclass Electrocardiogram FactualText) | Medicine.kif 3462-3462 | |
(subclass PartyPlatform FactualText) | Government.kif 2319-2319 |