| 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 1344-1345 | |
| (domain securedBy 1 FinancialAccount) | FinancialOntology.kif 1347-1347 | |
| (domain securedBy 2 Collateral) | FinancialOntology.kif 1348-1348 | |
| (instance securedBy BinaryPredicate) | FinancialOntology.kif 1346-1346 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage securedBy "%2 %n 是 %1 的 secured ") | domainEnglishFormat.kif 2247-2247 | |
| (format ChineseTraditionalLanguage securedBy "%2 %n 是 %1 的 secured ") | domainEnglishFormat.kif 2246-2246 | |
| (format EnglishLanguage securedBy "%2 is %n a secured by of %1") | domainEnglishFormat.kif 2245-2245 | |
| (termFormat ChineseLanguage securedBy "担保由") | domainEnglishFormat.kif 51883-51883 | |
| (termFormat ChineseTraditionalLanguage securedBy "擔保由") | domainEnglishFormat.kif 51882-51882 | |
| (termFormat EnglishLanguage securedBy "secured by") | domainEnglishFormat.kif 51881-51881 |
| 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 2414-2423 | |
| (=> (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 1350-1359 | |
| (=> (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 1465-1482 |
| consequent |
|
|
| (<=> (instance ?Collateral Collateral) (exists (?Loan) (and (instance ?Loan SecuredLoan) (securedBy ?Loan ?Collateral)))) |
FinancialOntology.kif 1337-1342 | |
| (<=> (instance ?Loan SecuredLoan) (exists (?Security) (securedBy ?Loan ?Security))) |
FinancialOntology.kif 1364-1367 | |
| (=> (and (instance ?Loan Mortgage) (loanForPurchase ?Loan ?RealEstate)) (securedBy ?Loan ?RealEstate)) |
FinancialOntology.kif 1403-1407 | |
| (=> (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 1465-1482 | |
| (=> (instance ?Bond SecuredBond) (exists (?Security) (securedBy ?Bond ?Security))) |
FinancialOntology.kif 2409-2412 |
|
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