| 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 1269-1270 | |
| (domain securedBy 1 FinancialAccount) | FinancialOntology.kif 1272-1272 | |
| (domain securedBy 2 Collateral) | FinancialOntology.kif 1273-1273 | |
| (instance securedBy BinaryPredicate) | FinancialOntology.kif 1271-1271 |
| 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 51873-51873 | |
| (termFormat ChineseTraditionalLanguage securedBy "擔保由") | domainEnglishFormat.kif 51872-51872 | |
| (termFormat EnglishLanguage securedBy "secured by") | domainEnglishFormat.kif 51871-51871 |
| 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 2319-2328 | |
| (=> (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 1275-1284 | |
| (=> (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 1390-1407 |
| consequent |
|
|
| (<=> (instance ?Collateral Collateral) (exists (?Loan) (and (instance ?Loan SecuredLoan) (securedBy ?Loan ?Collateral)))) |
FinancialOntology.kif 1262-1267 | |
| (<=> (instance ?Loan SecuredLoan) (exists (?Security) (securedBy ?Loan ?Security))) |
FinancialOntology.kif 1289-1292 | |
| (=> (and (instance ?Loan Mortgage) (loanForPurchase ?Loan ?RealEstate)) (securedBy ?Loan ?RealEstate)) |
FinancialOntology.kif 1328-1332 | |
| (=> (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 1390-1407 | |
| (=> (instance ?Bond SecuredBond) (exists (?Security) (securedBy ?Bond ?Security))) |
FinancialOntology.kif 2314-2317 |
|
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