TreeView Knowledge Base Browser

appearance as argument number 1

(instance overdraft TernaryPredicate)	FinancialOntology.kif 799-799	overdraft is an instance of ternary predicate
(domain overdraft 1 FinancialAccount)	FinancialOntology.kif 800-800	The number 1 argument of overdraft is an instance of financial account
(domain overdraft 2 CurrencyMeasure)	FinancialOntology.kif 801-801	The number 2 argument of overdraft is an instance of currency measure
(domain overdraft 3 Day)	FinancialOntology.kif 802-802	The number 3 argument of overdraft is an instance of day
(documentation overdraft EnglishLanguage "The amount by which withdrawals exceed deposits.")	FinancialOntology.kif 803-803	The number 3 argument of overdraft is an instance of day

appearance as argument number 2

(format EnglishLanguage overdraft "%1 is %n overdraft %2 for %3")	domainEnglishFormat.kif 1893-1893
(format ChineseTraditionalLanguage overdraft "%1 %n 是對於 %3 的 overdraft %2 ")	domainEnglishFormat.kif 1894-1894
(format ChineseLanguage overdraft "%1 %n 是对于 %3 的 overdraft %2 ")	domainEnglishFormat.kif 1895-1895
(termFormat EnglishLanguage overdraft "overdraft")	domainEnglishFormat.kif 43739-43739
(termFormat ChineseTraditionalLanguage overdraft "透支")	domainEnglishFormat.kif 43740-43740
(termFormat ChineseLanguage overdraft "透支")	domainEnglishFormat.kif 43741-43741

consequent

(=>
    (and
        (currentAccountBalance ?Account ?Date
            (MeasureFn ?Balance UnitedStatesDollar))
        (lessThan ?Balance 0)
        (equal ?Overdraft
            (SubtractionFn 0 ?Balance)))
    (overdraft ?Account
        (MeasureFn ?Overdraft UnitedStatesDollar) ?Date))

If X current account balance Y for Z united states dollar(s), Z is less than 0, and equal W and (0 and Z), then X is overdraft W united states dollar(s) for Y