callDate - Sigma Knowledge base Browser

appearance as argument number 1

(instance callDate BinaryPredicate)	FinancialOntology.kif 2524-2524	call date is an instance of binary predicate
(domain callDate 1 Bond)	FinancialOntology.kif 2525-2525	The number 1 argument of call date is an instance of bond
(domain callDate 2 Day)	FinancialOntology.kif 2526-2526	The number 2 argument of call date is an instance of day
(documentation callDate EnglishLanguage "Date, prior to maturity, on which a callable bond may be redeemed.")	FinancialOntology.kif 2527-2528	The number 2 argument of call date is an instance of day

appearance as argument number 2

(format EnglishLanguage callDate "%2 is %n a call date of %1")	domainEnglishFormat.kif 338-338
(format ChineseTraditionalLanguage callDate "%2 %n 是 %1 的 call 日期")	domainEnglishFormat.kif 339-339
(format ChineseLanguage callDate "%2 %n 是 %1 的 call 日期")	domainEnglishFormat.kif 340-340
(termFormat EnglishLanguage callDate "call date")	domainEnglishFormat.kif 12775-12775
(termFormat ChineseTraditionalLanguage callDate "通話日期")	domainEnglishFormat.kif 12776-12776
(termFormat ChineseLanguage callDate "通话日期")	domainEnglishFormat.kif 12777-12777

antecedent

(=>
    (and
        (instance ?Bond CallableBond)
        (currentAccountBalance
            (AccountFn ?Bond) ?Date ?Amount)
        (callDate ?Bond ?Date))
    (amountDue
        (AccountFn ?Bond) ?Amount ?Date))

If X is an instance of callable bond, the account of X current account balance Y for Z, and Y is a call date of X, then the account of X amount due Z for Y