TreeView Knowledge Base Browser

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	Die Zahl 1 Argument von overdraft ist ein fall von FinancialAccount %n{nicht}
(domain overdraft 2 CurrencyMeasure)	FinancialOntology.kif 779-779	Die Zahl 2 Argument von overdraft ist ein fall von CurrencyMeasure %n{nicht}
(domain overdraft 3 Day)	FinancialOntology.kif 780-780	Die Zahl 3 Argument von overdraft ist ein fall von Day %n{nicht}
(instance overdraft TernaryPredicate)	FinancialOntology.kif 777-777	overdraft ist ein fall von TernaryPredicate %n{nicht}

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 43779-43779
(termFormat ChineseTraditionalLanguage overdraft "透支")	domainEnglishFormat.kif 43778-43778
(termFormat EnglishLanguage overdraft "overdraft")	domainEnglishFormat.kif 43777-43777

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