borrower |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1302-1302 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1300-1300 | 借款人 的 1 数量 是 贷款 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1301-1301 | 借款人 的 2 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1299-1299 | 借款人 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1298-1298 | 借款人 是 协议的一方 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2910-2910 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2909-2909 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2908-2908 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11681-11681 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11680-11680 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11679-11679 |
antecedent |
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 1273-1282 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1411-1421 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1513-1517 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1428-1443 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1573-1577 | |
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 1304-1309 |
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 1254-1259 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1473-1481 |