overdraft - Sigma Knowledge base Browser

appearance as argument number 1

(documentation overdraft EnglishLanguage "The amount by which withdrawals exceed deposits.")	FinancialOntology.kif 731-731
(domain overdraft 1 FinancialAccount)	FinancialOntology.kif 728-728
(domain overdraft 2 CurrencyMeasure)	FinancialOntology.kif 729-729
(domain overdraft 3 Day)	FinancialOntology.kif 730-730
(instance overdraft TernaryPredicate)	FinancialOntology.kif 727-727

appearance as argument number 2

(format EnglishLanguage overdraft "%1 %n{doesn't} overdraft %2 for %3")	domainEnglishFormat.kif 481-481
(termFormat EnglishLanguage overdraft "overdraft")	domainEnglishFormat.kif 7710-7710

consequent

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

FinancialOntology.kif 733-738