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


s__documentation(s__availableCash__m,s__EnglishLanguage,'"(availableCash ?Account ?Day ?Cash) holds if ?Cash is a cash amount available for withdrawal from the FinancialAccount ?Account."')

FinancialOntology.kif 3744-3746
s__domain(s__availableCash__m,n__1,s__FinancialAccount)

FinancialOntology.kif 3740-3740 The number 1 argument of available cash is an instance of financial account
s__domain(s__availableCash__m,n__2,s__Day)

FinancialOntology.kif 3741-3741 The number 2 argument of available cash is an instance of day
s__domain(s__availableCash__m,n__3,s__CurrencyMeasure)

FinancialOntology.kif 3742-3742 The number 3 argument of available cash is an instance of currency measure
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__availableCash__m,s__TernaryPredicate)

FinancialOntology.kif 3743-3743 available cash is an instance of ternary predicate
s__subrelation(s__availableCash__m,s__availableBalance__m)

FinancialOntology.kif 3739-3739 available cash is a subrelation of available balance

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


s__format(s__ChineseLanguage,s__availableCash__m,'"%1 在 %2 的 available cash 是 %3 "')

domainEnglishFormat.kif 2863-2863
s__format(s__ChineseTraditionalLanguage,s__availableCash__m,'"%1 在 %2 的 available cash 是 %3 "')

domainEnglishFormat.kif 2862-2862
s__format(s__EnglishLanguage,s__availableCash__m,'"the available cash of %1 on %2 is %3"')

domainEnglishFormat.kif 2861-2861
s__termFormat(s__ChineseLanguage,s__availableCash__m,'"可用现金"')

domainEnglishFormat.kif 9333-9333
s__termFormat(s__ChineseTraditionalLanguage,s__availableCash__m,'"可用現金"')

domainEnglishFormat.kif 9332-9332
s__termFormat(s__EnglishLanguage,s__availableCash__m,'"available cash"')

domainEnglishFormat.kif 9331-9331

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


( ! [V__Day,V__Cash,V__U,V__Account,V__Amount1,V__Transaction] :
   (((s__instance(V__Day,s__Day) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Amount1,s__RealNumber))
       =>
       (((s__instance(V__Transaction,s__FinancialTransaction) &
             s__origin(V__Transaction,s__CurrencyFn(V__Account))
         &
         s__transactionAmount(V__Transaction,s__MeasureFn(V__Amount1,V__U))
     &
     s__instance(V__U,s__UnitOfCurrency) &
     s__instance(V__Cash,s__Currency) &
     s__patient(V__Transaction,V__Cash)
   &
   s__date(V__Transaction,V__Day))
=>
(( ? [V__Amount2] :
   ((s__instance(V__Amount2,s__RealNumber) &
       (s__availableCash(V__Account,V__Day,s__MeasureFn(V__Amount2,V__U))
     &
     s__greaterThanOrEqualTo(V__Amount1,V__Amount2)))))))))
)
)

FinancialOntology.kif 3748-3762


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