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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfCurrency
UnitOfCurrency

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


(documentation UnitOfCurrency ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来组成 CurrencyMeasure 实例的 UnitOfMeasure。") Merge.kif 9092-9093
(documentation UnitOfCurrency EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of CurrencyMeasure.") Merge.kif 9089-9090
(documentation UnitOfCurrency JapaneseLanguage "この Clas のすべてのインスタンスは UnitOfMeasure で、%MeasureFn と共に CurrencyMeasure のインスタンスを形成するのに使用でき る。") Merge.kif 9095-9097
(subclass UnitOfCurrency NonCompositeUnitOfMeasure) Merge.kif 9087-9087 UnitOfCurrency is a subclass of NonCompositeUnitOfMeasure

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


(instance AfghanAfghani UnitOfCurrency) Economy.kif 2886-2886 Afghan afghani is an instance of UnitOfCurrency
(instance AlbanianLek UnitOfCurrency) Economy.kif 2946-2946 Albanian lek is an instance of UnitOfCurrency
(instance AlgerianDinar UnitOfCurrency) Economy.kif 2950-2950 Algerian dinar is an instance of UnitOfCurrency
(instance AngolanKwanza UnitOfCurrency) Economy.kif 2954-2954 Angolan kwanza is an instance of UnitOfCurrency
(instance ArgentineAustral UnitOfCurrency) Economy.kif 2958-2958 Argentine austral is an instance of UnitOfCurrency
(instance ArmenianDram UnitOfCurrency) Economy.kif 2962-2962 Armenian dram is an instance of UnitOfCurrency
(instance AustralianDollar UnitOfCurrency) Economy.kif 2966-2966 Australian dollar is an instance of UnitOfCurrency
(instance AustrianSchilling UnitOfCurrency) Economy.kif 2970-2970 Austrian schilling is an instance of UnitOfCurrency
(instance AzerbaijaniManat UnitOfCurrency) Economy.kif 2974-2974 Azerbaijani manat is an instance of UnitOfCurrency
(instance BahamianDollar UnitOfCurrency) Economy.kif 2978-2978 Bahamian dollar is an instance of UnitOfCurrency
(instance BahrainianDinar UnitOfCurrency) Economy.kif 2982-2982 Bahrainian dinar is an instance of UnitOfCurrency
(instance BangladeshiTaka UnitOfCurrency) Economy.kif 2986-2986 Bangladeshi taka is an instance of UnitOfCurrency
(instance BarbadosDollar UnitOfCurrency) Economy.kif 2990-2990 Barbados dollar is an instance of UnitOfCurrency
(instance BelarusianRubel UnitOfCurrency) Economy.kif 2994-2994 Belarusian rubel is an instance of UnitOfCurrency
(instance BelgianFranc UnitOfCurrency) Economy.kif 2998-2998 Belgian franc is an instance of UnitOfCurrency
(instance BelizeDollar UnitOfCurrency) Economy.kif 3002-3002 Belize dollar is an instance of UnitOfCurrency
(instance BeninFranc UnitOfCurrency) Economy.kif 3006-3006 Benin franc is an instance of UnitOfCurrency
(instance BermudaDollar UnitOfCurrency) Economy.kif 3010-3010 Bermuda dollar is an instance of UnitOfCurrency
(instance BhutaneseNgultrum UnitOfCurrency) Economy.kif 3014-3014 Bhutanese ngultrum is an instance of UnitOfCurrency
(instance BolivianBoliviano UnitOfCurrency) Economy.kif 3018-3018 Bolivian boliviano is an instance of UnitOfCurrency
(instance BotswanaPula UnitOfCurrency) Economy.kif 3022-3022 Botswana pula is an instance of UnitOfCurrency
(instance BrazilianReal UnitOfCurrency) Economy.kif 3026-3026 Brazilian real is an instance of UnitOfCurrency
(instance BritishPound UnitOfCurrency) Economy.kif 2889-2889 British pound is an instance of UnitOfCurrency
(instance BruneiDollar UnitOfCurrency) Economy.kif 3030-3030 Brunei dollar is an instance of UnitOfCurrency
(instance BulgarianLev UnitOfCurrency) Economy.kif 3034-3034 Bulgarian lev is an instance of UnitOfCurrency

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 The number 2 argument of currency code is an instance of UnitOfCurrency
(domain currencyExchangeRate 1 UnitOfCurrency) Economy.kif 3656-3656 The number 1 argument of currency exchange rate is an instance of UnitOfCurrency
(domain currencyExchangeRateInPeriod 1 UnitOfCurrency) Economy.kif 3642-3642 The number 1 argument of currency exchange rate in period is an instance of UnitOfCurrency
(domain currencyType 2 UnitOfCurrency) Economy.kif 2876-2876 The number 2 argument of currency type is an instance of UnitOfCurrency

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


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


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