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 and 貸款 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1301-1301 | 域 借款人, 2 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1299-1299 | 例 借款人 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1298-1298 | 子關係 借款人 and 協議的一方 |
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 |
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 |