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 6448-6449
(documentation UnitOfCurrency EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of CurrencyMeasure.") Merge.kif 6445-6447
(subclass UnitOfCurrency NonCompositeUnitOfMeasure) Merge.kif 6444-6444

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


(instance AfghanAfghani UnitOfCurrency) Economy.kif 2886-2886
(instance AlbanianLek UnitOfCurrency) Economy.kif 2946-2946
(instance AlgerianDinar UnitOfCurrency) Economy.kif 2950-2950
(instance AngolanKwanza UnitOfCurrency) Economy.kif 2954-2954
(instance ArgentineAustral UnitOfCurrency) Economy.kif 2958-2958
(instance ArmenianDram UnitOfCurrency) Economy.kif 2962-2962
(instance AustralianDollar UnitOfCurrency) Economy.kif 2966-2966
(instance AustrianSchilling UnitOfCurrency) Economy.kif 2970-2970
(instance AzerbaijaniManat UnitOfCurrency) Economy.kif 2974-2974
(instance BahamianDollar UnitOfCurrency) Economy.kif 2978-2978
(instance BahrainianDinar UnitOfCurrency) Economy.kif 2982-2982
(instance BangladeshiTaka UnitOfCurrency) Economy.kif 2986-2986
(instance BarbadosDollar UnitOfCurrency) Economy.kif 2990-2990
(instance BelarusianRubel UnitOfCurrency) Economy.kif 2994-2994
(instance BelgianFranc UnitOfCurrency) Economy.kif 2998-2998
(instance BelizeDollar UnitOfCurrency) Economy.kif 3002-3002
(instance BeninFranc UnitOfCurrency) Economy.kif 3006-3006
(instance BermudaDollar UnitOfCurrency) Economy.kif 3010-3010
(instance BhutaneseNgultrum UnitOfCurrency) Economy.kif 3014-3014
(instance BolivianBoliviano UnitOfCurrency) Economy.kif 3018-3018
(instance BotswanaPula UnitOfCurrency) Economy.kif 3022-3022
(instance BrazilianReal UnitOfCurrency) Economy.kif 3026-3026
(instance BritishPound UnitOfCurrency) Economy.kif 2889-2889
(instance BruneiDollar UnitOfCurrency) Economy.kif 3030-3030
(instance BulgarianLev UnitOfCurrency) 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
-------------------------


(domain currencyCode 2 UnitOfCurrency) Economy.kif 3618-3618
(domain currencyExchangeRate 1 UnitOfCurrency) Economy.kif 3656-3656
(domain currencyExchangeRateInPeriod 1 UnitOfCurrency) Economy.kif 3642-3642
(domain currencyType 2 UnitOfCurrency) Economy.kif 2876-2876

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfCurrency))
    (instance ?QUANT 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