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 | 透支 的 1 数量 是 金融账户 的 instance |
(domain overdraft 2 CurrencyMeasure) | FinancialOntology.kif 779-779 | 透支 的 2 数量 是 货币测量 的 instance |
(domain overdraft 3 Day) | FinancialOntology.kif 780-780 | 透支 的 3 数量 是 日 的 instance |
(instance overdraft TernaryPredicate) | FinancialOntology.kif 777-777 | 透支 是 三元谓语 的 instance |
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 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 783-788 |