No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3920-3926 |
有存在 时距 这样 贷款 是 贷款 的 instance 和 那个 时距 是 那个 贷款 的 agreement 週期 和 那个 贷款 是 对于 %3 的赚取 interest 若且唯若 利益 是 那个 贷款 的 loan 利息 |
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 1212-1222 |
|
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 1043-1052 |
|
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 1615-1624 |
|