TreeView Knowledge Base Browser

appearance as argument number 1

(documentation availableBalance EnglishLanguage "(availableBalance ?Account ?Day ?Amount) means that ?Amount is the balance which is available for withdrawal from the FinancialAccount ?Account.")	FinancialOntology.kif 3811-3813
(domain availableBalance 1 FinancialAccount)	FinancialOntology.kif 3807-3807	Die Zahl 1 Argument von availableBalance ist ein fall von FinancialAccount %n{nicht}
(domain availableBalance 2 Day)	FinancialOntology.kif 3808-3808	Die Zahl 2 Argument von availableBalance ist ein fall von Day %n{nicht}
(domain availableBalance 3 CurrencyMeasure)	FinancialOntology.kif 3809-3809	Die Zahl 3 Argument von availableBalance ist ein fall von CurrencyMeasure %n{nicht}
(instance availableBalance TernaryPredicate)	FinancialOntology.kif 3810-3810	availableBalance ist ein fall von TernaryPredicate %n{nicht}
(subrelation availableBalance currentAccountBalance)	FinancialOntology.kif 3806-3806	availableBalance ist eine teilrelation von currentAccountBalance

appearance as argument number 2

(format ChineseLanguage availableBalance "%1 在 %2 的 available balance 是 %3 ")	domainEnglishFormat.kif 2858-2858
(format ChineseTraditionalLanguage availableBalance "%1 在 %2 的 available balance 是 %3 ")	domainEnglishFormat.kif 2857-2857
(format EnglishLanguage availableBalance "the available balance of %1 on %2 is %3")	domainEnglishFormat.kif 2856-2856
(subrelation availableCash availableBalance)	FinancialOntology.kif 3829-3829	availableCash ist eine teilrelation von availableBalance
(subrelation buyingPowerAmount availableBalance)	FinancialOntology.kif 4090-4090	buyingPowerAmount ist eine teilrelation von availableBalance
(subrelation marginBalanceAmount availableBalance)	FinancialOntology.kif 4099-4099	marginBalanceAmount ist eine teilrelation von availableBalance
(subrelation marketValueAmount availableBalance)	FinancialOntology.kif 4117-4117	marketValueAmount ist eine teilrelation von availableBalance
(subrelation shortBalanceAmount availableBalance)	FinancialOntology.kif 4108-4108	shortBalanceAmount ist eine teilrelation von availableBalance
(termFormat ChineseLanguage availableBalance "可用余额")	domainEnglishFormat.kif 9318-9318
(termFormat ChineseTraditionalLanguage availableBalance "可用餘額")	domainEnglishFormat.kif 9317-9317
(termFormat EnglishLanguage availableBalance "available balance")	domainEnglishFormat.kif 9316-9316

consequent

(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction ?Account)
        (transactionAmount ?Transaction
            (MeasureFn ?Amount1 ?U))
        (instance ?U UnitOfCurrency)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableBalance ?Account ?Day
                (MeasureFn ?Amount2 ?U))
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))

FinancialOntology.kif 3815-3827