No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2095-2095 |
子屬性 固定年金 and 年金 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2102-2102 |
子屬性 可變年金 and 年金 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7716-7716 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7715-7715 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7714-7714 |
|