No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 642-646 |
TimeInterval 是 金融賬戶 的 agreement 週期 飾面 Day and TimeInterval Day 是 金融賬戶 的 maturity 日期 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3920-3926 |
TimeInterval 例 貸款 and 貸款 TimeInterval 是 貸款 的 agreement 週期 貸款 是 對於 %3 的賺取 interest 利益 是 貸款 的 loan 利息 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14016-14021 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2881-2897 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2917-2933 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2854-2870 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1261-1271 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1224-1233 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1273-1282 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2333-2355 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1497-1502 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1615-1624 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4162-4166 |
|