| Loan(貸款) | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1250-1252 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1249-1249 | 子類 貸款 and 責任賬戶 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1406-1406 | 子類 氣球貸款 and 貸款 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1488-1488 | 子類 銀行定期貸款 and 貸款 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1504-1504 | 子類 過橋貸款 and 貸款 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1508-1508 | 子類 經紀人貸款 and 貸款 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1425-1425 | 子類 可贖回貸款 and 貸款 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1519-1519 | 子類 合併貸款 and 貸款 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1563-1563 | 子類 一天的貸款 and 貸款 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1603-1603 | 子類 常青貸款 and 貸款 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1606-1606 | 子類 索引貸款 and 貸款 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1610-1610 | 子類 僅利息貸款 and 貸款 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1585-1585 | 子類 儲錢貸款 and 貸款 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1345-1345 | 子類 擔保貸款 and 貸款 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1592-1592 | 子類 單筆付款貸款 and 貸款 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1353-1353 | 子類 無抵押貸款 and 貸款 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34811-34811 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34810-34810 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34809-34809 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1300-1300 | 域 借款人, 1 and 貸款 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 802-802 | 域 首付, 1 and 貸款 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 797-797 | 域 樓層貸款, 1 and 貸款 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1286-1286 | 域 貸款人, 1 and 貸款 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4157-4157 | 域 貸款費用金額, 1 and 貸款 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1312-1312 | 域 貸款購買, 1 and 貸款 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3917-3917 | 域 貸款利息, 1 and 貸款 |
| antecedent |
|
|
| 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. | FinancialOntology.kif 1273-1282 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1399-1404 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1334-1343 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1449-1466 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1254-1259 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1449-1466 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1523-1532 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1473-1481 |
|
|
|