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 3829-3831
(domain availableBalance 1 FinancialAccount) FinancialOntology.kif 3825-3825 availableBalance の数値 1 引数は FinancialAccount の instance では
(domain availableBalance 2 Day) FinancialOntology.kif 3826-3826 availableBalance の数値 2 引数は 日 の instance では
(domain availableBalance 3 CurrencyMeasure) FinancialOntology.kif 3827-3827 availableBalance の数値 3 引数は 通貨測定 の instance では
(instance availableBalance TernaryPredicate) FinancialOntology.kif 3828-3828 availableBalance は 3進述語 の instance では
(subrelation availableBalance currentAccountBalance) FinancialOntology.kif 3824-3824 availableBalance は currentAccountBalance の subrelation では

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 3847-3847 availableCash は availableBalance の subrelation では
(subrelation buyingPowerAmount availableBalance) FinancialOntology.kif 4108-4108 buyingPowerAmount は availableBalance の subrelation では
(subrelation marginBalanceAmount availableBalance) FinancialOntology.kif 4117-4117 marginBalanceAmount は availableBalance の subrelation では
(subrelation marketValueAmount availableBalance) FinancialOntology.kif 4135-4135 marketValueAmount は availableBalance の subrelation では
(subrelation shortBalanceAmount availableBalance) FinancialOntology.kif 4126-4126 shortBalanceAmount は availableBalance の subrelation では
(termFormat ChineseLanguage availableBalance "可用余额") domainEnglishFormat.kif 9319-9319 shortBalanceAmount は availableBalance の subrelation では
(termFormat ChineseTraditionalLanguage availableBalance "可用餘額") domainEnglishFormat.kif 9318-9318 shortBalanceAmount は availableBalance の subrelation では
(termFormat EnglishLanguage availableBalance "available balance") domainEnglishFormat.kif 9317-9317 shortBalanceAmount は availableBalance の subrelation では

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 3833-3845


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