Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - availableCash
availableCash

appearance as argument number 1
-------------------------


(documentation availableCash EnglishLanguage "(availableCash ?Account ?Day ?Cash) holds if ?Cash is a cash amount available for withdrawal from the FinancialAccount ?Account.") FinancialOntology.kif 3671-3673
(domain availableCash 1 FinancialAccount) FinancialOntology.kif 3667-3667
(domain availableCash 2 Day) FinancialOntology.kif 3668-3668
(domain availableCash 3 CurrencyMeasure) FinancialOntology.kif 3669-3669
(instance availableCash TernaryPredicate) FinancialOntology.kif 3670-3670
(subrelation availableCash availableBalance) FinancialOntology.kif 3666-3666

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


(format EnglishLanguage availableCash "the available cash of %1 on %2 is %3") domainEnglishFormat.kif 724-724
(termFormat EnglishLanguage availableCash "available cash") domainEnglishFormat.kif 1989-1989

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


(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account))
        (transactionAmount ?Transaction ?Amount)
        (instance ?Cash Currency)
        (patient ?Transaction ?Cash)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableCash ?Account ?Day ?Amount2)
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))
FinancialOntology.kif 3675-3686


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