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 3651-3653
(domain availableBalance 1 FinancialAccount) FinancialOntology.kif 3647-3647
(domain availableBalance 2 Day) FinancialOntology.kif 3648-3648
(domain availableBalance 3 CurrencyMeasure) FinancialOntology.kif 3649-3649
(instance availableBalance TernaryPredicate) FinancialOntology.kif 3650-3650
(subrelation availableBalance currentAccountBalance) FinancialOntology.kif 3646-3646

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


(format EnglishLanguage availableBalance "the available balance of %1 on %2 is %3") domainEnglishFormat.kif 723-723
(subrelation availableCash availableBalance) FinancialOntology.kif 3666-3666
(subrelation buyingPowerAmount availableBalance) FinancialOntology.kif 3927-3927
(subrelation marginBalanceAmount availableBalance) FinancialOntology.kif 3936-3936
(subrelation marketValueAmount availableBalance) FinancialOntology.kif 3954-3954
(subrelation shortBalanceAmount availableBalance) FinancialOntology.kif 3945-3945
(termFormat EnglishLanguage availableBalance "available balance") domainEnglishFormat.kif 1988-1988

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


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


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