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


(documentation UnitOfCurrency ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来组成 CurrencyMeasure 实例的 UnitOfMeasure。") Merge.kif 6461-6462
(documentation UnitOfCurrency EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of CurrencyMeasure.") Merge.kif 6458-6460
(subclass UnitOfCurrency NonCompositeUnitOfMeasure) Merge.kif 6457-6457 UnitOfCurrencyNonCompositeUnitOfMeasuresubclass

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


(instance AfghanAfghani UnitOfCurrency) Economy.kif 2886-2886 AfghanAfghaniUnitOfCurrencyinstance
(instance AlbanianLek UnitOfCurrency) Economy.kif 2946-2946 AlbanianLekUnitOfCurrencyinstance
(instance AlgerianDinar UnitOfCurrency) Economy.kif 2950-2950 AlgerianDinarUnitOfCurrencyinstance
(instance AngolanKwanza UnitOfCurrency) Economy.kif 2954-2954 AngolanKwanzaUnitOfCurrencyinstance
(instance ArgentineAustral UnitOfCurrency) Economy.kif 2958-2958 ArgentineAustralUnitOfCurrencyinstance
(instance ArmenianDram UnitOfCurrency) Economy.kif 2962-2962 ArmenianDramUnitOfCurrencyinstance
(instance AustralianDollar UnitOfCurrency) Economy.kif 2966-2966 AustralianDollarUnitOfCurrencyinstance
(instance AustrianSchilling UnitOfCurrency) Economy.kif 2970-2970 AustrianSchillingUnitOfCurrencyinstance
(instance AzerbaijaniManat UnitOfCurrency) Economy.kif 2974-2974 AzerbaijaniManatUnitOfCurrencyinstance
(instance BahamianDollar UnitOfCurrency) Economy.kif 2978-2978 BahamianDollarUnitOfCurrencyinstance
(instance BahrainianDinar UnitOfCurrency) Economy.kif 2982-2982 BahrainianDinarUnitOfCurrencyinstance
(instance BangladeshiTaka UnitOfCurrency) Economy.kif 2986-2986 BangladeshiTakaUnitOfCurrencyinstance
(instance BarbadosDollar UnitOfCurrency) Economy.kif 2990-2990 BarbadosDollarUnitOfCurrencyinstance
(instance BelarusianRubel UnitOfCurrency) Economy.kif 2994-2994 BelarusianRubelUnitOfCurrencyinstance
(instance BelgianFranc UnitOfCurrency) Economy.kif 2998-2998 BelgianFrancUnitOfCurrencyinstance
(instance BelizeDollar UnitOfCurrency) Economy.kif 3002-3002 BelizeDollarUnitOfCurrencyinstance
(instance BeninFranc UnitOfCurrency) Economy.kif 3006-3006 BeninFrancUnitOfCurrencyinstance
(instance BermudaDollar UnitOfCurrency) Economy.kif 3010-3010 BermudaDollarUnitOfCurrencyinstance
(instance BhutaneseNgultrum UnitOfCurrency) Economy.kif 3014-3014 BhutaneseNgultrumUnitOfCurrencyinstance
(instance BolivianBoliviano UnitOfCurrency) Economy.kif 3018-3018 BolivianBolivianoUnitOfCurrencyinstance
(instance BotswanaPula UnitOfCurrency) Economy.kif 3022-3022 BotswanaPulaUnitOfCurrencyinstance
(instance BrazilianReal UnitOfCurrency) Economy.kif 3026-3026 BrazilianRealUnitOfCurrencyinstance
(instance BritishPound UnitOfCurrency) Economy.kif 2889-2889 BritishPoundUnitOfCurrencyinstance
(instance BruneiDollar UnitOfCurrency) Economy.kif 3030-3030 BruneiDollarUnitOfCurrencyinstance
(instance BulgarianLev UnitOfCurrency) Economy.kif 3034-3034 BulgarianLevUnitOfCurrencyinstance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain currencyCode 2 UnitOfCurrency) Economy.kif 3618-3618 currencyCode 的 2 数量 是 UnitOfCurrencyinstance
(domain currencyExchangeRate 1 UnitOfCurrency) Economy.kif 3656-3656 currencyExchangeRate 的 1 数量 是 UnitOfCurrencyinstance
(domain currencyExchangeRateInPeriod 1 UnitOfCurrency) Economy.kif 3642-3642 currencyExchangeRateInPeriod 的 1 数量 是 UnitOfCurrencyinstance
(domain currencyType 2 UnitOfCurrency) Economy.kif 2876-2876 currencyType 的 2 数量 是 UnitOfCurrencyinstance

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfCurrency))
    (instance ?QUANT CurrencyMeasure))
Merge.kif 6545-6549


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