| 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. | Mid-level-ontology.kif 26386-26386 | 子類 Document and ContentBearingObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26387-26387 | 子類 Document and Artifact |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2589-2589 | 子類 BusinessRequirementDocument and Document |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2747-2747 | 子類 TestProtocolSpecification and Document |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26407-26407 | 子類 Book and Document |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 930-930 | 子類 TextDocument and Document |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 952-952 | 子類 Correspondence and Document |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1033-1033 | 子類 HardcopyDocument and Document |
|
|