No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14485-14485 | 表格文字 是 文本 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14489-14489 | 测试表格 是 表格文字 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14495-14495 | 选票 是 表格文字 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14507-14507 | 应用 是 表格文字 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 929-929 | 退税 是 表格文字 的 subclass |