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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 3678-3680
(domain availableCash 1 FinancialAccount) FinancialOntology.kif 3674-3674 domain availableCash, 1 and FinancialAccount
(domain availableCash 2 Day) FinancialOntology.kif 3675-3675 domain availableCash, 2 and Day
(domain availableCash 3 CurrencyMeasure) FinancialOntology.kif 3676-3676 domain availableCash, 3 and CurrencyMeasure
(instance availableCash TernaryPredicate) FinancialOntology.kif 3677-3677 instance availableCash and TernaryPredicate
(subrelation availableCash availableBalance) FinancialOntology.kif 3673-3673 subrelation availableCash and availableBalance

appearance as argument number 2

(format ChineseLanguage availableCash "%1 在 %2 的 available cash 是 %3 ") domainEnglishFormat.kif 2863-2863
(format ChineseTraditionalLanguage availableCash "%1 在 %2 的 available cash 是 %3 ") domainEnglishFormat.kif 2862-2862
(format EnglishLanguage availableCash "the available cash of %1 on %2 is %3") domainEnglishFormat.kif 2861-2861
(termFormat ChineseLanguage availableCash "可用现金") domainEnglishFormat.kif 9341-9341
(termFormat ChineseTraditionalLanguage availableCash "可用現金") domainEnglishFormat.kif 9340-9340
(termFormat EnglishLanguage availableCash "available cash") domainEnglishFormat.kif 9339-9339


        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account))
        (transactionAmount ?Transaction ?Amount1)
        (instance ?Cash Currency)
        (patient ?Transaction ?Cash)
        (date ?Transaction ?Day))
    (exists (?Amount2)
            (availableCash ?Account ?Day ?Amount2)
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))
FinancialOntology.kif 3682-3693

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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