![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26376-26385 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26375-26375 | Document 是 人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26374-26374 | Document 是 有内用物体 的 subclass |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26395-26395 | 书 是 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 64777-64777 |
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 26387-26393 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 717-726 |
![]() |
![]() |