| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15400-15407 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15381-15381 | Factual text is a subclass of text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14519-14519 | Announcement is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14535-14535 | Performance program is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14584-14584 | Documentary is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14767-14767 | Message is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14771-14771 | Report is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14804-14804 | Letter is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14883-14883 | Historical account is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14914-14914 | Reference book is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3462-3462 | Electrocardiogram is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2319-2319 | Party platform is a subclass of factual text |
|
|