availableBalance - Sigma 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 3825-3827
(domain availableBalance 1 FinancialAccount)	FinancialOntology.kif 3821-3821	The number 1 argument of available balance is an instance of financial account
(domain availableBalance 2 Day)	FinancialOntology.kif 3822-3822	The number 2 argument of available balance is an instance of day
(domain availableBalance 3 CurrencyMeasure)	FinancialOntology.kif 3823-3823	The number 3 argument of available balance is an instance of currency measure
(instance availableBalance TernaryPredicate)	FinancialOntology.kif 3824-3824	available balance is an instance of ternary predicate
(subrelation availableBalance currentAccountBalance)	FinancialOntology.kif 3820-3820	available balance is a subrelation of current account balance

appearance as argument number 2

(format ChineseLanguage availableBalance "%1 在 %2 的 available balance 是 %3 ")	domainEnglishFormat.kif 2854-2854
(format ChineseTraditionalLanguage availableBalance "%1 在 %2 的 available balance 是 %3 ")	domainEnglishFormat.kif 2853-2853
(format EnglishLanguage availableBalance "the available balance of %1 on %2 is %3")	domainEnglishFormat.kif 2852-2852
(subrelation availableCash availableBalance)	FinancialOntology.kif 3843-3843	available cash is a subrelation of available balance
(subrelation buyingPowerAmount availableBalance)	FinancialOntology.kif 4104-4104	buying power amount is a subrelation of available balance
(subrelation marginBalanceAmount availableBalance)	FinancialOntology.kif 4113-4113	margin balance amount is a subrelation of available balance
(subrelation marketValueAmount availableBalance)	FinancialOntology.kif 4131-4131	market value amount is a subrelation of available balance
(subrelation shortBalanceAmount availableBalance)	FinancialOntology.kif 4122-4122	short balance amount is a subrelation of available balance
(termFormat ChineseLanguage availableBalance "可用余额")	domainEnglishFormat.kif 9325-9325	short balance amount is a subrelation of available balance
(termFormat ChineseTraditionalLanguage availableBalance "可用餘額")	domainEnglishFormat.kif 9324-9324	short balance amount is a subrelation of available balance
(termFormat EnglishLanguage availableBalance "available balance")	domainEnglishFormat.kif 9323-9323	short balance 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 3829-3841

If a financial transaction is an instance of financial transaction and the financial transaction originates at a financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the unit of measure is an instance of unit of currency and date of the financial transaction is a day,
then there exists another real number such that the available balance of the financial account on the day is the other real number the unit of measure(s) and the real number is greater than or equal to the other real number

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: