overdraft |
appearance as argument number 1 |
![]() |
(documentation overdraft EnglishLanguage "The amount by which withdrawals exceed deposits.") | FinancialOntology.kif 783-783 | |
(domain overdraft 1 FinancialAccount) | FinancialOntology.kif 780-780 | |
(domain overdraft 2 CurrencyMeasure) | FinancialOntology.kif 781-781 | |
(domain overdraft 3 Day) | FinancialOntology.kif 782-782 | |
(instance overdraft TernaryPredicate) | FinancialOntology.kif 779-779 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage overdraft "%1 %n 是 对于 %3 的 overdraft %2 ") | domainEnglishFormat.kif 1895-1895 | |
(format ChineseTraditionalLanguage overdraft "%1 %n 是 對於 %3 的 overdraft %2 ") | domainEnglishFormat.kif 1894-1894 | |
(format EnglishLanguage overdraft "%1 is %n overdraft %2 for %3") | domainEnglishFormat.kif 1893-1893 | |
(termFormat ChineseLanguage overdraft "透支") | domainEnglishFormat.kif 43748-43748 | |
(termFormat ChineseTraditionalLanguage overdraft "透支") | domainEnglishFormat.kif 43747-43747 | |
(termFormat EnglishLanguage overdraft "overdraft") | domainEnglishFormat.kif 43746-43746 |
consequent |
![]() |
(=> (and (currentAccountBalance ?Account ?Date (MeasureFn ?Balance UnitedStatesDollar)) (lessThan ?Balance 0) (equal ?Overdraft (SubtractionFn 0 ?Balance))) (overdraft ?Account (MeasureFn ?Overdraft UnitedStatesDollar) ?Date)) |
FinancialOntology.kif 785-790 |
![]() |
![]() |