No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14484-14484 | 表格文字 是 文本 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14488-14488 | 测试表格 是 表格文字 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14494-14494 | 选票 是 表格文字 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14506-14506 | 应用 是 表格文字 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 929-929 | 退税 是 表格文字 的 subclass |
![]() |