| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 525-527 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 522-522 | 利息收入 的 1 数量 是 金融账户 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 523-523 | 利息收入 的 2 数量 是 利益 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 524-524 | 利息收入 的 3 数量 是 时距 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 521-521 | 利息收入 是 三元谓语 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1361-1361 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1360-1360 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1359-1359 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 551-551 | 复利 是 利息收入 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 530-530 | 单纯的兴趣 是 利息收入 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30409-30409 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30408-30408 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30407-30407 |
| antecedent |
|
|
| 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 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4162-4166 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4082-4087 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners