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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3763-3765
(domain availableBalance 1 FinancialAccount) FinancialOntology.kif 3759-3759 可用余额 的 1 数量 是 金融账户instance
(domain availableBalance 2 Day) FinancialOntology.kif 3760-3760 可用余额 的 2 数量 是 instance
(domain availableBalance 3 CurrencyMeasure) FinancialOntology.kif 3761-3761 可用余额 的 3 数量 是 货币测量instance
(instance availableBalance TernaryPredicate) FinancialOntology.kif 3762-3762 可用余额三元谓语instance
(subrelation availableBalance currentAccountBalance) FinancialOntology.kif 3758-3758 可用余额目前账户余额subrelation

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 3781-3781 可用现金可用余额subrelation
(subrelation buyingPowerAmount availableBalance) FinancialOntology.kif 4042-4042 购买电量可用余额subrelation
(subrelation marginBalanceAmount availableBalance) FinancialOntology.kif 4051-4051 余额幅度可用余额subrelation
(subrelation marketValueAmount availableBalance) FinancialOntology.kif 4069-4069 市值金额可用余额subrelation
(subrelation shortBalanceAmount availableBalance) FinancialOntology.kif 4060-4060 短期金额可用余额subrelation
(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 3767-3779


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