| (=> (and (instance ?TEXT ?CLASS) (subclass ?CLASS FactualText) (authors ?AGENT ?CLASS) (subsumesContentInstance ?TEXT ?CONTENT) (instance ?CONTENT Formula)) (believes ?AGENT ?CONTENT)) |
Merge.kif 15446-15453 | |
| (subclass FactualText Text) | Merge.kif 15427-15427 | |
| (subclass Announcement FactualText) | Mid-level-ontology.kif 14546-14546 | |
| (subclass PerformanceProgram FactualText) | Mid-level-ontology.kif 14562-14562 | |
| (subclass Documentary FactualText) | Mid-level-ontology.kif 14611-14611 | |
| (subclass Message FactualText) | Mid-level-ontology.kif 14794-14794 | |
| (subclass Report FactualText) | Mid-level-ontology.kif 14798-14798 | |
| (subclass Letter FactualText) | Mid-level-ontology.kif 14831-14831 | |
| (subclass HistoricalAccount FactualText) | Mid-level-ontology.kif 14910-14910 | |
| (subclass ReferenceBook FactualText) | Mid-level-ontology.kif 14941-14941 | |
| (subclass Electrocardiogram FactualText) | Medicine.kif 3462-3462 | |
| (subclass PartyPlatform FactualText) | Government.kif 2283-2283 |
|
|