| Interest(利益)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 514-514 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11226-11226 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11225-11225 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10065-10065 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 513-513 | 子類 利益 and CurrencyMeasure |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30425-30425 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30424-30424 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30423-30423 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2308-2308 | 域 應計利息, 2 and 利益 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 553-553 | 域 複利, 2 and 利益 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2302-2302 | 域 優惠券利息, 2 and 利益 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 523-523 | 域 利息收入, 2 and 利益 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 532-532 | 域 單純的興趣, 2 and 利益 |
|
|
|