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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfCurrency

Sigma KEE - UnitOfCurrency
UnitOfCurrency

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


s__documentation(s__UnitOfCurrency,s__ChineseLanguage,'这个 Class 所有的实例都是可以用 MeasureFn 来组成 CurrencyMeasure 实例的 UnitOfMeasure。')

Merge.kif 6448-6449
s__documentation(s__UnitOfCurrency,s__EnglishLanguage,'Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of CurrencyMeasure.')

Merge.kif 6445-6447
s__instance(s__NonCompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 6444-6444

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


s__instance(s__AfghanAfghani,s__UnitOfCurrency)

Economy.kif 2886-2886
s__instance(s__UnitOfCurrency,s__SetOrClass)

Economy.kif 2946-2946
s__instance(s__AlgerianDinar,s__UnitOfCurrency)

Economy.kif 2950-2950
s__instance(s__AngolanKwanza,s__UnitOfCurrency)

Economy.kif 2954-2954
s__instance(s__ArgentineAustral,s__UnitOfCurrency)

Economy.kif 2958-2958
s__instance(s__ArmenianDram,s__UnitOfCurrency)

Economy.kif 2962-2962
s__instance(s__AustralianDollar,s__UnitOfCurrency)

Economy.kif 2966-2966
s__instance(s__AustrianSchilling,s__UnitOfCurrency)

Economy.kif 2970-2970
s__instance(s__UnitOfCurrency,s__SetOrClass)

Economy.kif 2974-2974
s__instance(s__BahamianDollar,s__UnitOfCurrency)

Economy.kif 2978-2978
s__instance(s__BahrainianDinar,s__UnitOfCurrency)

Economy.kif 2982-2982
s__instance(s__BangladeshiTaka,s__UnitOfCurrency)

Economy.kif 2986-2986
s__instance(s__BarbadosDollar,s__UnitOfCurrency)

Economy.kif 2990-2990
s__instance(s__BelarusianRubel,s__UnitOfCurrency)

Economy.kif 2994-2994
s__instance(s__UnitOfCurrency,s__SetOrClass)

Economy.kif 2998-2998
s__instance(s__BelizeDollar,s__UnitOfCurrency)

Economy.kif 3002-3002
s__instance(s__BeninFranc,s__UnitOfCurrency)

Economy.kif 3006-3006
s__instance(s__BermudaDollar,s__UnitOfCurrency)

Economy.kif 3010-3010
s__instance(s__BhutaneseNgultrum,s__UnitOfCurrency)

Economy.kif 3014-3014
s__instance(s__BolivianBoliviano,s__UnitOfCurrency)

Economy.kif 3018-3018
s__instance(s__UnitOfCurrency,s__SetOrClass)

Economy.kif 3022-3022
s__instance(s__BrazilianReal,s__UnitOfCurrency)

Economy.kif 3026-3026
s__instance(s__BritishPound,s__UnitOfCurrency)

Economy.kif 2889-2889
s__instance(s__BruneiDollar,s__UnitOfCurrency)

Economy.kif 3030-3030
s__instance(s__UnitOfCurrency,s__SetOrClass)

Economy.kif 3034-3034

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


s__domain(s__currencyCode__m,2,s__UnitOfCurrency)

Economy.kif 3618-3618
s__domain(s__currencyExchangeRate__m,1,s__UnitOfCurrency)

Economy.kif 3656-3656
s__domain(s__currencyExchangeRateInPeriod__m,1,s__UnitOfCurrency)

Economy.kif 3642-3642
s__domain(s__currencyType__m,2,s__UnitOfCurrency)

Economy.kif 2876-2876

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


( ! [V__NUMBER,V__UNIT,V__QUANT] :
   (((s__MeasureFn(V__NUMBER,V__UNIT)
       = V__QUANT)
     &
     s__instance(V__UNIT,s__UnitOfCurrency))
   =>
   s__instance(V__QUANT,s__CurrencyMeasure))
)

Merge.kif 6532-6536


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners