No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14770-14770 | 报告 是 事实文本 的 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 14904-14904 | 财务文本 是 报告 的 subclass |