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