No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14507-14507 |
子類 應用 and 表格文字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14495-14495 |
子類 選票 and 表格文字 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 929-929 |
子類 退稅 and 表格文字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14489-14489 |
子類 測試表格 and 表格文字 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24776-24776 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24775-24775 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24774-24774 |
|