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。") chinese_format.kif 2422-2423
(documentation UnitOfCurrency EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of CurrencyMeasure.") Merge.kif 5876-5877
(subclass UnitOfCurrency NonCompositeUnitOfMeasure) Merge.kif 5874-5874 subclass UnitOfCurrency and NonCompositeUnitOfMeasure

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


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

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


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


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