UnitOfCurrency - Sigma Knowledge base Browser

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 5995-5996
(subclass UnitOfCurrency NonCompositeUnitOfMeasure)	Merge.kif 5993-5993	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 6073-6077

equal MeasureFn RealNumber and UnitOfMeasure and PhysicalQuantity instance UnitOfMeasure and UnitOfCurrency
instance PhysicalQuantity and CurrencyMeasure

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: