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 3786-3788
(domain availableCash 1 FinancialAccount) FinancialOntology.kif 3782-3782 可用现金 的 1 数量 是 金融账户instance
(domain availableCash 2 Day) FinancialOntology.kif 3783-3783 可用现金 的 2 数量 是 instance
(domain availableCash 3 CurrencyMeasure) FinancialOntology.kif 3784-3784 可用现金 的 3 数量 是 货币测量instance
(instance availableCash TernaryPredicate) FinancialOntology.kif 3785-3785 可用现金三元谓语instance
(subrelation availableCash availableBalance) FinancialOntology.kif 3781-3781 可用现金可用余额subrelation

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 9333-9333
(termFormat ChineseTraditionalLanguage availableCash "可用現金") domainEnglishFormat.kif 9332-9332
(termFormat EnglishLanguage availableCash "available cash") domainEnglishFormat.kif 9331-9331

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


(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account))
        (transactionAmount ?Transaction
            (MeasureFn ?Amount1 ?U))
        (instance ?U UnitOfCurrency)
        (instance ?Cash Currency)
        (patient ?Transaction ?Cash)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableCash ?Account ?Day
                (MeasureFn ?Amount2 ?U))
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))
FinancialOntology.kif 3790-3804


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