availableBalance - Sigma Knowledge base Browser

appearance as argument number 1

(subrelation availableBalance currentAccountBalance)	FinancialOntology.kif 3824-3824	available balance is a subrelation of current account balance
(domain availableBalance 1 FinancialAccount)	FinancialOntology.kif 3825-3825	The number 1 argument of available balance is an instance of financial account
(domain availableBalance 2 Day)	FinancialOntology.kif 3826-3826	The number 2 argument of available balance is an instance of day
(domain availableBalance 3 CurrencyMeasure)	FinancialOntology.kif 3827-3827	The number 3 argument of available balance is an instance of currency measure
(instance availableBalance TernaryPredicate)	FinancialOntology.kif 3828-3828	available balance is an instance of ternary predicate
(documentation availableBalance EnglishLanguage "(availableBalance ?Account ?Day ?Amount) means that ?Amount is the balance which is available for withdrawal from the FinancialAccount ?Account.")	FinancialOntology.kif 3829-3831	available balance is an instance of ternary predicate

appearance as argument number 2

(subrelation availableCash availableBalance)	FinancialOntology.kif 3847-3847	available cash is a subrelation of available balance
(subrelation buyingPowerAmount availableBalance)	FinancialOntology.kif 4108-4108	buying power amount is a subrelation of available balance
(subrelation marginBalanceAmount availableBalance)	FinancialOntology.kif 4117-4117	margin balance amount is a subrelation of available balance
(subrelation shortBalanceAmount availableBalance)	FinancialOntology.kif 4126-4126	short balance amount is a subrelation of available balance
(subrelation marketValueAmount availableBalance)	FinancialOntology.kif 4135-4135	market value amount is a subrelation of available balance
(format EnglishLanguage availableBalance "the available balance of %1 on %2 is %3")	domainEnglishFormat.kif 2852-2852	market value amount is a subrelation of available balance
(format ChineseTraditionalLanguage availableBalance "%1 在 %2 的 available balance 是 %3 ")	domainEnglishFormat.kif 2853-2853	market value amount is a subrelation of available balance
(format ChineseLanguage availableBalance "%1 在 %2 的 available balance 是 %3 ")	domainEnglishFormat.kif 2854-2854	market value amount is a subrelation of available balance
(termFormat EnglishLanguage availableBalance "available balance")	domainEnglishFormat.kif 9316-9316	market value amount is a subrelation of available balance
(termFormat ChineseTraditionalLanguage availableBalance "可用餘額")	domainEnglishFormat.kif 9317-9317	market value amount is a subrelation of available balance
(termFormat ChineseLanguage availableBalance "可用余额")	domainEnglishFormat.kif 9318-9318	market value amount is a subrelation of available balance

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 3833-3845

If X is an instance of financial transaction, X originates at Y, Z W(s) is a transaction amount of X, W is an instance of unit of currency, and date of X is V, then there exists U such that the available balance of Y on V is U W(s) and Z is greater than or equal to U

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: