|
|
  LoanCommitment
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1469-1471 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1468-1468 | 子屬性 貸款承諾 and 合同 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34817-34817 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34816-34816 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34815-34815 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1473-1481 |
|
|
|