| No TPTP formula. May not be expressible in strict first order. | Biography.kif 730-740 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1894-1898 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15381-15381 | Text is a subclass of linguistic expression |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15382-15382 | Text is a subclass of content bearing object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15383-15383 | Text is a subclass of artifact |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 921-921 | Joint publication is a subclass of text |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 993-993 | Doctrine is a subclass of text |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1025-1025 | Chairman publication is a subclass of text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 694-694 | Lyrics is a subclass of text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 705-705 | Paragraph is a subclass of text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7869-7869 | Christian gospel is a subclass of text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9264-9264 | Prescription is a subclass of text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14419-14419 | Music text is a subclass of text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14471-14471 | Label is a subclass of text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14484-14484 | Form text is a subclass of text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14644-14644 | Series is a subclass of text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14676-14676 | Article is a subclass of text |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14923-14923 | Narrative text is a subclass of text |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1392-1392 | Motion picture is a subclass of text |
| 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. | Merge.kif 15431-15431 | Fictional text is a subclass of text |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15608-15608 | Summary is a subclass of text |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15655-15655 | Certificate is a subclass of text |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3034-3034 | Treaty document is a subclass of text |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2287-2287 | Calendar is a subclass of text |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4222-4222 | Spam is a subclass of text |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 3012-3012 | LTU is a subclass of text |
|
|