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 3657-3659
(domain availableBalance 1 FinancialAccount) FinancialOntology.kif 3653-3653 The number 1 argument of available balance is an instance of financial account
(domain availableBalance 2 Day) FinancialOntology.kif 3654-3654 The number 2 argument of available balance is an instance of day
(domain availableBalance 3 CurrencyMeasure) FinancialOntology.kif 3655-3655 The number 3 argument of available balance is an instance of currency measure
(instance availableBalance TernaryPredicate) FinancialOntology.kif 3656-3656 available balance is an instance of ternary predicate
(subrelation availableBalance currentAccountBalance) FinancialOntology.kif 3652-3652 available balance is a subrelation of current account balance

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


(format ChineseLanguage availableBalance "%1 在 %2 的 available balance 是 %3 ") domainEnglishFormat.kif 2855-2855
(format ChineseTraditionalLanguage availableBalance "%1 在 %2 的 available balance 是 %3 ") domainEnglishFormat.kif 2854-2854
(format EnglishLanguage availableBalance "the available balance of %1 on %2 is %3") domainEnglishFormat.kif 2853-2853
(subrelation availableCash availableBalance) FinancialOntology.kif 3672-3672 available cash is a subrelation of available balance
(subrelation buyingPowerAmount availableBalance) FinancialOntology.kif 3932-3932 buying power amount is a subrelation of available balance
(subrelation marginBalanceAmount availableBalance) FinancialOntology.kif 3941-3941 margin balance amount is a subrelation of available balance
(subrelation marketValueAmount availableBalance) FinancialOntology.kif 3959-3959 market value amount is a subrelation of available balance
(subrelation shortBalanceAmount availableBalance) FinancialOntology.kif 3950-3950 short balance amount is a subrelation of available balance
(termFormat ChineseLanguage availableBalance "可用余额") domainEnglishFormat.kif 9331-9331 "可用余额" is the printable form of available balance in ChineseLanguage
(termFormat ChineseTraditionalLanguage availableBalance "可用餘額") domainEnglishFormat.kif 9330-9330 "可用餘額" is the printable form of available balance in ChineseTraditionalLanguage
(termFormat EnglishLanguage availableBalance "available balance") domainEnglishFormat.kif 9329-9329 "available balance" is the printable form of available balance in english language

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 3661-3670


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners