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 3811-3813
(domain availableBalance 1 FinancialAccount) FinancialOntology.kif 3807-3807 availableBalance の数値 1 引数は FinancialAccountinstance では %n
(domain availableBalance 2 Day) FinancialOntology.kif 3808-3808 availableBalance の数値 2 引数は instance では %n
(domain availableBalance 3 CurrencyMeasure) FinancialOntology.kif 3809-3809 availableBalance の数値 3 引数は 通貨測定instance では %n
(instance availableBalance TernaryPredicate) FinancialOntology.kif 3810-3810 availableBalance3進述語instance では %n
(subrelation availableBalance currentAccountBalance) FinancialOntology.kif 3806-3806 availableBalancecurrentAccountBalancesubrelation では %n

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 availableCashavailableBalancesubrelation では %n
(subrelation buyingPowerAmount availableBalance) FinancialOntology.kif 4090-4090 buyingPowerAmountavailableBalancesubrelation では %n
(subrelation marginBalanceAmount availableBalance) FinancialOntology.kif 4099-4099 marginBalanceAmountavailableBalancesubrelation では %n
(subrelation marketValueAmount availableBalance) FinancialOntology.kif 4117-4117 marketValueAmountavailableBalancesubrelation では %n
(subrelation shortBalanceAmount availableBalance) FinancialOntology.kif 4108-4108 shortBalanceAmountavailableBalancesubrelation では %n
(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


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