|
|
   Call
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Call EnglishLanguage "Exercising a CallOption.") | FinancialOntology.kif 1423-1423 | |
| (subclass Call FinancialTransaction) | FinancialOntology.kif 1424-1424 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Call "呼叫") | domainEnglishFormat.kif 12745-12745 | |
| (termFormat ChineseTraditionalLanguage Call "呼叫") | domainEnglishFormat.kif 12744-12744 | |
| (termFormat EnglishLanguage Call "call") | domainEnglishFormat.kif 12743-12743 |
| antecedent |
|
|
| (=> (and (instance ?Loan CallableLoan) (lender ?Loan ?Lender) (borrower ?Loan ?Borrower) (totalBalance ?Loan ?Amount) (instance ?Call Call) (agent ?Call ?Lender) (patient ?Call ?Loan)) (holdsObligation (KappaFn ?Payment (and (destination ?Payment ?Lender) (time ?Payment (ImmediateFutureFn (WhenFn ?Call))) (transactionAmount ?Payment ?Amount))) ?Borrower)) |
FinancialOntology.kif 1428-1443 |
| consequent |
|
|
| (=> (and (instance ?Bond CallableBond) (issuedBy ?Bond ?Agent)) (capability Call agent ?Agent)) |
FinancialOntology.kif 2477-2481 |
|
|
|