overdraft |
appearance as argument number 1 |
(documentation overdraft EnglishLanguage "The amount by which withdrawals exceed deposits.") | FinancialOntology.kif 781-781 | |
(domain overdraft 1 FinancialAccount) | FinancialOntology.kif 778-778 | Le nombre 1 argument de overdraft est une instance de FinancialAccount |
(domain overdraft 2 CurrencyMeasure) | FinancialOntology.kif 779-779 | Le nombre 2 argument de overdraft est une instance de mesure de devise |
(domain overdraft 3 Day) | FinancialOntology.kif 780-780 | Le nombre 3 argument de overdraft est une instance de jour |
(instance overdraft TernaryPredicate) | FinancialOntology.kif 777-777 | overdraft est une instance de pr�dicat ternaire |
appearance as argument number 2 |
(format ChineseLanguage overdraft "%1 %n 是 对于 %3 的 overdraft %2 ") | domainEnglishFormat.kif 1891-1891 | |
(format ChineseTraditionalLanguage overdraft "%1 %n 是 對於 %3 的 overdraft %2 ") | domainEnglishFormat.kif 1890-1890 | |
(format EnglishLanguage overdraft "%1 is %n overdraft %2 for %3") | domainEnglishFormat.kif 1889-1889 | |
(termFormat ChineseLanguage overdraft "透支") | domainEnglishFormat.kif 43746-43746 | |
(termFormat ChineseTraditionalLanguage overdraft "透支") | domainEnglishFormat.kif 43745-43745 | |
(termFormat EnglishLanguage overdraft "overdraft") | domainEnglishFormat.kif 43744-43744 |
consequent |
(=> (and (currentAccountBalance ?Account ?Date (MeasureFn ?Balance UnitedStatesDollar)) (lessThan ?Balance 0) (equal ?Overdraft (SubtractionFn 0 ?Balance))) (overdraft ?Account (MeasureFn ?Overdraft UnitedStatesDollar) ?Date)) |
FinancialOntology.kif 783-788 |
|