No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14484-14484 | 子類 表格文字 and Text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14488-14488 | 子類 測試表格 and 表格文字 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14494-14494 | 子類 選票 and 表格文字 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14506-14506 | 子類 應用 and 表格文字 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 929-929 | 子類 退稅 and 表格文字 |