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 3658-3660
(domain availableBalance 1 FinancialAccount) FinancialOntology.kif 3654-3654 domain availableBalance, 1 and FinancialAccount
(domain availableBalance 2 Day) FinancialOntology.kif 3655-3655 domain availableBalance, 2 and Day
(domain availableBalance 3 CurrencyMeasure) FinancialOntology.kif 3656-3656 domain availableBalance, 3 and CurrencyMeasure
(instance availableBalance TernaryPredicate) FinancialOntology.kif 3657-3657 instance availableBalance and TernaryPredicate
(subrelation availableBalance currentAccountBalance) FinancialOntology.kif 3653-3653 subrelation availableBalance and currentAccountBalance

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 3673-3673 subrelation availableCash and availableBalance
(subrelation buyingPowerAmount availableBalance) FinancialOntology.kif 3933-3933 subrelation buyingPowerAmount and availableBalance
(subrelation marginBalanceAmount availableBalance) FinancialOntology.kif 3942-3942 subrelation marginBalanceAmount and availableBalance
(subrelation marketValueAmount availableBalance) FinancialOntology.kif 3960-3960 subrelation marketValueAmount and availableBalance
(subrelation shortBalanceAmount availableBalance) FinancialOntology.kif 3951-3951 subrelation shortBalanceAmount and availableBalance
(termFormat ChineseLanguage availableBalance "可用余额") domainEnglishFormat.kif 9335-9335
(termFormat ChineseTraditionalLanguage availableBalance "可用餘額") domainEnglishFormat.kif 9334-9334
(termFormat EnglishLanguage availableBalance "available balance") domainEnglishFormat.kif 9333-9333

consequent
-------------------------


(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction ?Account)
        (transactionAmount ?Transaction ?Amount1)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableBalance ?Account ?Day ?Amount2)
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))		 FinancialOntology.kif 3662-3671


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