securedBy |
appearance as argument number 1 |
(documentation securedBy EnglishLanguage "Assets pledged by a borrower to secure a loan or other credit, and subject to seizure in the event of FinancialDefault.") | FinancialOntology.kif 1328-1329 | |
(domain securedBy 1 FinancialAccount) | FinancialOntology.kif 1331-1331 | 担保由 的 1 数量 是 金融账户 的 instance |
(domain securedBy 2 Collateral) | FinancialOntology.kif 1332-1332 | 担保由 的 2 数量 是 抵押 的 instance |
(instance securedBy BinaryPredicate) | FinancialOntology.kif 1330-1330 | 担保由 是 二元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage securedBy "%2 %n 是 %1 的 secured ") | domainEnglishFormat.kif 2243-2243 | |
(format ChineseTraditionalLanguage securedBy "%2 %n 是 %1 的 secured ") | domainEnglishFormat.kif 2242-2242 | |
(format EnglishLanguage securedBy "%2 is %n a secured by of %1") | domainEnglishFormat.kif 2241-2241 | |
(termFormat ChineseLanguage securedBy "担保由") | domainEnglishFormat.kif 51879-51879 | |
(termFormat ChineseTraditionalLanguage securedBy "擔保由") | domainEnglishFormat.kif 51878-51878 | |
(termFormat EnglishLanguage securedBy "secured by") | domainEnglishFormat.kif 51877-51877 |
antecedent |
(=> (and (instance ?Bond SecuredBond) (securedBy ?Bond ?Security) (possesses ?Agent ?Bond) (instance ?Default FinancialDefault) (patient ?Default ?Bond)) (holdsDuring (ImmediateFutureFn (WhenFn ?Default)) (possesses ?Agent ?Security))) |
FinancialOntology.kif 2397-2406 | |
(=> (and (instance ?Loan Loan) (securedBy ?Loan ?Security) (lender ?Loan ?Bank) (instance ?Default FinancialDefault) (patient ?Default ?Loan)) (holdsDuring (ImmediateFutureFn (WhenFn ?Default)) (possesses ?Bank ?Security))) |
FinancialOntology.kif 1334-1343 | |
(=> (and (instance ?Refinancing Refinancing) (time ?Refinancing ?Time) (instance ?Loan Loan) (securedBy ?Loan ?Collateral) (borrower ?Loan ?Borrower) (currentAccountBalance ?Loan ?Time ?Amount) (patient ?Refinancing ?Loan)) (exists (?NewLoan ?Payment) (and (instance ?NewLoan Loan) (borrower ?NewLoan ?Borrower) (securedBy ?Loan ?Collateral) (destination ?Payment (CurrencyFn ?Loan)) (time ?Payment ?Time) (origin ?Payment (CurrencyFn ?NewLoan)) (transactionAmount ?Payment ?Amount)))) |
FinancialOntology.kif 1449-1466 |
|
consequent |
(<=> (instance ?Collateral Collateral) (exists (?Loan) (and (instance ?Loan SecuredLoan) (securedBy ?Loan ?Collateral)))) |
FinancialOntology.kif 1321-1326 | 抵押 是 抵押 的 instance 若且唯若 有存在 金融账户 这样 那个 金融账户 是 担保贷款 的 instance 和 那个 抵押 是 那个 金融账户 的 secured |
(<=> (instance ?Loan SecuredLoan) (exists (?Security) (securedBy ?Loan ?Security))) |
FinancialOntology.kif 1348-1351 | 金融账户 是 担保贷款 的 instance 若且唯若 有存在 抵押 这样 那个 抵押 是 那个 金融账户 的 secured |
(=> (and (instance ?Loan Mortgage) (loanForPurchase ?Loan ?RealEstate)) (securedBy ?Loan ?RealEstate)) |
FinancialOntology.kif 1387-1391 | |
(=> (and (instance ?Refinancing Refinancing) (time ?Refinancing ?Time) (instance ?Loan Loan) (securedBy ?Loan ?Collateral) (borrower ?Loan ?Borrower) (currentAccountBalance ?Loan ?Time ?Amount) (patient ?Refinancing ?Loan)) (exists (?NewLoan ?Payment) (and (instance ?NewLoan Loan) (borrower ?NewLoan ?Borrower) (securedBy ?Loan ?Collateral) (destination ?Payment (CurrencyFn ?Loan)) (time ?Payment ?Time) (origin ?Payment (CurrencyFn ?NewLoan)) (transactionAmount ?Payment ?Amount)))) |
FinancialOntology.kif 1449-1466 |
|
(=> (instance ?Bond SecuredBond) (exists (?Security) (securedBy ?Bond ?Security))) |
FinancialOntology.kif 2392-2395 |