No TPTP formula. May not be expressible in strict first order. | Merge.kif 15422-15429 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15403-15403 | Factual text is a subclass of text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14518-14518 | Announcement is a subclass of factual text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14534-14534 | Performance program is a subclass of factual text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14583-14583 | Documentary is a subclass of factual text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14766-14766 | Message is a subclass of factual text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14770-14770 | Report is a subclass of factual text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14803-14803 | Letter is a subclass of factual text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14882-14882 | Historical account is a subclass of factual text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14913-14913 | 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 |