No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21088-21100 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14676-14676 | 文章 是 文本 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14692-14692 | 章节 是 文章 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14771-14771 | 报告 是 文章 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14929-14929 | 短篇故事 是 文章 的 subclass |