No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2095-2095 |
固定年金 是 年金 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2102-2102 |
可变年金 是 年金 的 subAttribute |
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 |
|