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

Formal Language: 



KB Term:  Term intersection
English Word: 

  availableCash

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 3845-3847
(domain availableCash 1 FinancialAccount) FinancialOntology.kif 3841-3841
(domain availableCash 2 Day) FinancialOntology.kif 3842-3842
(domain availableCash 3 CurrencyMeasure) FinancialOntology.kif 3843-3843
(instance availableCash TernaryPredicate) FinancialOntology.kif 3844-3844
(subrelation availableCash availableBalance) FinancialOntology.kif 3840-3840

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


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

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 3849-3863


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