Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 1367-1368 | |
| (instance securedBy BinaryPredicate) | FinancialOntology.kif 1369-1369 | secured by is an instance of binary predicate |
| (domain securedBy 1 FinancialAccount) | FinancialOntology.kif 1370-1370 | The number 1 argument of secured by is an instance of financial account |
| (domain securedBy 2 Collateral) | FinancialOntology.kif 1371-1371 | The number 2 argument of secured by is an instance of collateral |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage securedBy "%2 is %n a secured by of %1") | domainEnglishFormat.kif 2245-2245 | |
| (format ChineseTraditionalLanguage securedBy "%2 %n 是 %1 的 secured ") | domainEnglishFormat.kif 2246-2246 | |
| (format ChineseLanguage securedBy "%2 %n 是 %1 的 secured ") | domainEnglishFormat.kif 2247-2247 | |
| (termFormat EnglishLanguage securedBy "secured by") | domainEnglishFormat.kif 51874-51874 | |
| (termFormat ChineseTraditionalLanguage securedBy "擔保由") | domainEnglishFormat.kif 51875-51875 | |
| (termFormat ChineseLanguage securedBy "担保由") | domainEnglishFormat.kif 51876-51876 |
| antecedent |
|
|
| (=> (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 1373-1383 | If X is an instance of loan, Y is a secured by of X, Z lends X, W is an instance of financial default, and X is a patient of W, then Z possesses Y holds during immediately after the time of existence of W |
| (=> (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 1491-1508 | If All of the following hold: (1) X is an instance of refinancing (2) X exists during Y (3) Z is an instance of loan (4) W is a secured by of Z (5) Z is the borrower of V (6) Z current account balance Y for U (7) Z is a patient of X, then All of the following hold: (1) there exist T (2) S such that T is an instance of loan (3) T is the borrower of V (4) W is a secured by of Z (5) S ends up at the currency of Z (6) S exists during Y (7) S originates at the currency of T (8) U is a transaction amount of S |
| (=> (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 2438-2447 | If X is an instance of secured bond, Y is a secured by of X, Z possesses X, W is an instance of financial default, and X is a patient of W, then Z possesses Y holds during immediately after the time of existence of W |
| consequent |
|
|
| (<=> (instance ?Collateral Collateral) (exists (?Loan) (and (instance ?Loan SecuredLoan) (securedBy ?Loan ?Collateral)))) |
FinancialOntology.kif 1360-1365 | X is an instance of collateral if, only if there exists Y such that Y is an instance of secured loan, and X is a secured by of Y |
| (<=> (instance ?Loan SecuredLoan) (exists (?Security) (securedBy ?Loan ?Security))) |
FinancialOntology.kif 1388-1391 | X is an instance of secured loan if and only if there exists Y such that Y is a secured by of X |
| (=> (and (instance ?Loan Mortgage) (loanForPurchase ?Loan ?RealEstate)) (securedBy ?Loan ?RealEstate)) |
FinancialOntology.kif 1427-1431 | If X is an instance of mortgage and Y is a loan for purchase of X, then Y is a secured by of X |
| (=> (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 1491-1508 | If All of the following hold: (1) X is an instance of refinancing (2) X exists during Y (3) Z is an instance of loan (4) W is a secured by of Z (5) Z is the borrower of V (6) Z current account balance Y for U (7) Z is a patient of X, then All of the following hold: (1) there exist T (2) S such that T is an instance of loan (3) T is the borrower of V (4) W is a secured by of Z (5) S ends up at the currency of Z (6) S exists during Y (7) S originates at the currency of T (8) U is a transaction amount of S |
| (=> (instance ?Bond SecuredBond) (exists (?Security) (securedBy ?Bond ?Security))) |
FinancialOntology.kif 2433-2436 | If X is an instance of secured bond, then there exists Y such that Y is a secured by of X |
|