| FactualText(factual text)
| | accounting_data, ammunition, book, business_news, certificate, certification, corroborating_evidence, credential, credentials, cross_section, data, data_file, descriptor, document, file, hard_news, info, information, intelligence, latest, marginalia, material, metadata, news, nonfiction, nonfictional_prose, note, nuts_and_bolts, papers, predictor, random_sample, read-out, readout, record, record_book, skinny, soft_news, specification, stop_press, tasting, tidings, voucher, word, written_document |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15520-15520 | Factual text is disjoint from fictional text |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3553-3555 | Factual text is disjoint from fictional text |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15521-15526 | Factual text is disjoint from fictional text |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2673-2673 | Factual text is disjoint from fictional text |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15519-15519 | Factual text is a subclass of text |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15908-15908 | Announcement is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15973-15973 | Documentary is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3463-3463 | Electrocardiogram is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16274-16274 | Historical account is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16195-16195 | Letter is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16158-16158 | Message is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2280-2280 | Party platform is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15924-15924 | Performance program is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16305-16305 | Reference book is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16162-16162 | Report is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 3188-3188 | Weather forecast is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23160-23160 | Weather forecast is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23159-23159 | Weather forecast is a subclass of factual text |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23158-23158 | Weather forecast is a subclass of factual text |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15538-15545 |
|
|
|
|