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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Currency
Currency(currency)
cash, currency, hard_cash, hard_currency, money, peag, wampum, wampumpeag

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


s__documentation(s__Currency,s__ChineseLanguage,'"这是某些 Nation 国家官方货币的任何元素。这包括 CurrencyBillCurrencyCoin。"')

chinese_format.kif 3573-3574
s__documentation(s__Currency,s__EnglishLanguage,'"Any element of the official currency of some Nation. This covers both CurrencyBills and CurrencyCoins."')

Merge.kif 14982-14983
s__externalImage(s__Currency,'"http://upload.wikimedia.org/wikipedia/commons/3/ 3f/ Deutschemarknotes.png"')

pictureList.kif 3838-3838
s__externalImage(s__Currency,'"http://upload.wikimedia.org/wikipedia/commons/5/ 5e/ Assorted_United_States_coins.jpg"')

pictureList.kif 3841-3841
s__externalImage(s__Currency,'"http://www.adampease.org/Articulate/SUMOpictures/ pictures/ money/ cash.png"')

pictureList.kif 326-326
s__partition__3(s__Currency,s__CurrencyBill,s__CurrencyCoin)

Mid-level-ontology.kif 3520-3520 Currency is exhaustively partitioned into currency bill and currency coin
s__subclass(s__Currency,s__FinancialInstrument)

s__instance(s__Currency,s__Class)

s__instance(s__FinancialInstrument,s__Class)

Merge.kif 14981-14981 Currency is a subclass of financial instrument

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


s__instance(s__Currency,s__Class)

s__instance(s__CurrencyBill,s__Class)

s__subclass(s__CurrencyBill,s__Currency)

Mid-level-ontology.kif 3519-3519 Currency bill is a subclass of currency
s__instance(s__Currency,s__Class)

s__instance(s__CurrencyCoin,s__Class)

s__subclass(s__CurrencyCoin,s__Currency)

Mid-level-ontology.kif 3531-3531 Currency coin is a subclass of currency
s__termFormat(s__ChineseLanguage,s__Currency,'"货币"')

domainEnglishFormat.kif 18039-18039
s__termFormat(s__ChineseTraditionalLanguage,s__Currency,'"貨幣"')

domainEnglishFormat.kif 18038-18038
s__termFormat(s__EnglishLanguage,s__Currency,'"currency"')

domainEnglishFormat.kif 18037-18037

appearance as argument number 3
-------------------------


s__domainSubclass(s__currencyValue__m,n__1,s__Currency)

Economy.kif 3605-3605 The number 1 argument of currency value is a subclass of currency

antecedent
-------------------------


( ! [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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1924-1933
( ! [V__CURRENCY] :
   ((s__instance(V__CURRENCY,s__Currency) =>
       (( ? [V__MEASURE] :
           ((s__instance(V__MEASURE,s__CurrencyMeasure) &
               s__monetaryValue(V__CURRENCY,V__MEASURE))))))
   )
)

Merge.kif 14985-14988
( ! [V__Cash] :
   ((s__instance(V__Cash,s__Currency) =>
       (( ? [V__Value] :
           ((s__instance(V__Value,s__CurrencyMeasure) &
               s__monetaryValue(V__Cash,V__Value))))))
   )
)

FinancialOntology.kif 3441-3444

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


( ! [V__FUND] :
   ((s__instance(V__FUND,s__Funding) =>
       (( ? [V__MONEY] :
           ((s__instance(V__MONEY,s__Currency) &
               s__patient(V__FUND,V__MONEY))))))
   )
)

Merge.kif 11208-11213
( ! [V__P,V__C] :
   ((s__instance(V__C,s__Object) =>
       ((s__instance(V__P,s__CashPayment) =>
           ((s__instrument(V__P,V__C)
             &
             s__instance(V__C,s__Currency))))))
   )
)

Dining.kif 429-433
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1912-1922
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1897-1910


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