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 26374-26374 | Document 是 有内用物体 的 subclass |
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. | UXExperimentalTerms.kif 2589-2589 | BusinessRequirementDocument 是 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. | Mid-level-ontology.kif 26395-26395 | 书 是 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. | 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 |
![]() |