Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  availableBalance

Sigma KEE - availableBalance
availableBalance

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 3721-3723
(domain availableBalance 1 FinancialAccount) FinancialOntology.kif 3717-3717 The number 1 argument of available balance is an instance of financial account
(domain availableBalance 2 Day) FinancialOntology.kif 3718-3718 The number 2 argument of available balance is an instance of day
(domain availableBalance 3 CurrencyMeasure) FinancialOntology.kif 3719-3719 The number 3 argument of available balance is an instance of currency measure
(instance availableBalance TernaryPredicate) FinancialOntology.kif 3720-3720 available balance is an instance of ternary predicate
(subrelation availableBalance currentAccountBalance) FinancialOntology.kif 3716-3716 available balance is a subrelation of current account balance

appearance as argument number 2
-------------------------


(format ChineseLanguage availableBalance "%1 在 %2 的 available balance 是 %3 ") domainEnglishFormat.kif 2859-2859
(format ChineseTraditionalLanguage availableBalance "%1 在 %2 的 available balance 是 %3 ") domainEnglishFormat.kif 2858-2858
(format EnglishLanguage availableBalance "the available balance of %1 on %2 is %3") domainEnglishFormat.kif 2857-2857
(subrelation availableCash availableBalance) FinancialOntology.kif 3739-3739 available cash is a subrelation of available balance
(subrelation buyingPowerAmount availableBalance) FinancialOntology.kif 4002-4002 buying power amount is a subrelation of available balance
(subrelation marginBalanceAmount availableBalance) FinancialOntology.kif 4011-4011 margin balance amount is a subrelation of available balance
(subrelation marketValueAmount availableBalance) FinancialOntology.kif 4029-4029 market value amount is a subrelation of available balance
(subrelation shortBalanceAmount availableBalance) FinancialOntology.kif 4020-4020 short balance amount is a subrelation of available balance
(termFormat ChineseLanguage availableBalance "可用余额") domainEnglishFormat.kif 9327-9327
(termFormat ChineseTraditionalLanguage availableBalance "可用餘額") domainEnglishFormat.kif 9326-9326
(termFormat EnglishLanguage availableBalance "available balance") domainEnglishFormat.kif 9325-9325

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 3725-3737


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

Show without tree


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