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 UnitOfCurrencyNonCompositeUnitOfMeasuresubclass では %n

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


(instance AfghanAfghani UnitOfCurrency) Economy.kif 2886-2886 AfghanAfghaniUnitOfCurrencyinstance では %n
(instance AlbanianLek UnitOfCurrency) Economy.kif 2946-2946 AlbanianLekUnitOfCurrencyinstance では %n
(instance AlgerianDinar UnitOfCurrency) Economy.kif 2950-2950 AlgerianDinarUnitOfCurrencyinstance では %n
(instance AngolanKwanza UnitOfCurrency) Economy.kif 2954-2954 AngolanKwanzaUnitOfCurrencyinstance では %n
(instance ArgentineAustral UnitOfCurrency) Economy.kif 2958-2958 ArgentineAustralUnitOfCurrencyinstance では %n
(instance ArmenianDram UnitOfCurrency) Economy.kif 2962-2962 ArmenianDramUnitOfCurrencyinstance では %n
(instance AustralianDollar UnitOfCurrency) Economy.kif 2966-2966 AustralianDollarUnitOfCurrencyinstance では %n
(instance AustrianSchilling UnitOfCurrency) Economy.kif 2970-2970 AustrianSchillingUnitOfCurrencyinstance では %n
(instance AzerbaijaniManat UnitOfCurrency) Economy.kif 2974-2974 AzerbaijaniManatUnitOfCurrencyinstance では %n
(instance BahamianDollar UnitOfCurrency) Economy.kif 2978-2978 BahamianDollarUnitOfCurrencyinstance では %n
(instance BahrainianDinar UnitOfCurrency) Economy.kif 2982-2982 BahrainianDinarUnitOfCurrencyinstance では %n
(instance BangladeshiTaka UnitOfCurrency) Economy.kif 2986-2986 BangladeshiTakaUnitOfCurrencyinstance では %n
(instance BarbadosDollar UnitOfCurrency) Economy.kif 2990-2990 BarbadosDollarUnitOfCurrencyinstance では %n
(instance BelarusianRubel UnitOfCurrency) Economy.kif 2994-2994 BelarusianRubelUnitOfCurrencyinstance では %n
(instance BelgianFranc UnitOfCurrency) Economy.kif 2998-2998 BelgianFrancUnitOfCurrencyinstance では %n
(instance BelizeDollar UnitOfCurrency) Economy.kif 3002-3002 BelizeDollarUnitOfCurrencyinstance では %n
(instance BeninFranc UnitOfCurrency) Economy.kif 3006-3006 BeninFrancUnitOfCurrencyinstance では %n
(instance BermudaDollar UnitOfCurrency) Economy.kif 3010-3010 BermudaDollarUnitOfCurrencyinstance では %n
(instance BhutaneseNgultrum UnitOfCurrency) Economy.kif 3014-3014 BhutaneseNgultrumUnitOfCurrencyinstance では %n
(instance BolivianBoliviano UnitOfCurrency) Economy.kif 3018-3018 BolivianBolivianoUnitOfCurrencyinstance では %n
(instance BotswanaPula UnitOfCurrency) Economy.kif 3022-3022 BotswanaPulaUnitOfCurrencyinstance では %n
(instance BrazilianReal UnitOfCurrency) Economy.kif 3026-3026 BrazilianRealUnitOfCurrencyinstance では %n
(instance BritishPound UnitOfCurrency) Economy.kif 2889-2889 BritishPoundUnitOfCurrencyinstance では %n
(instance BruneiDollar UnitOfCurrency) Economy.kif 3030-3030 BruneiDollarUnitOfCurrencyinstance では %n
(instance BulgarianLev UnitOfCurrency) Economy.kif 3034-3034 BulgarianLevUnitOfCurrencyinstance では %n

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 currencyCode の数値 2 引数は UnitOfCurrencyinstance では %n
(domain currencyExchangeRate 1 UnitOfCurrency) Economy.kif 3656-3656 currencyExchangeRate の数値 1 引数は UnitOfCurrencyinstance では %n
(domain currencyExchangeRateInPeriod 1 UnitOfCurrency) Economy.kif 3642-3642 currencyExchangeRateInPeriod の数値 1 引数は UnitOfCurrencyinstance では %n
(domain currencyType 2 UnitOfCurrency) Economy.kif 2876-2876 currencyType の数値 2 引数は UnitOfCurrencyinstance では %n

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