|
|
   Document
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26421-26430 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26420-26420 | Document 是 人工制品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26419-26419 | Document 是 有内用物体 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26440-26440 | 书 是 Document 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2589-2589 | BusinessRequirementDocument 是 Document 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 952-952 | Correspondence 是 Document 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1033-1033 | HardcopyDocument 是 Document 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2747-2747 | TestProtocolSpecification 是 Document 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 930-930 | TextDocument 是 Document 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64779-64779 |
| antecedent |
|
|
| 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. | Biography.kif 742-751 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 938-943 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26432-26438 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 717-726 |
|
|
|