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

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


(instance AfghanAfghani UnitOfCurrency) Economy.kif 2886-2886
(instance AlbanianLek UnitOfCurrency) Economy.kif 2946-2946
(instance AlgerianDinar UnitOfCurrency) Economy.kif 2950-2950
(instance AngolanKwanza UnitOfCurrency) Economy.kif 2954-2954
(instance ArgentineAustral UnitOfCurrency) Economy.kif 2958-2958
(instance ArmenianDram UnitOfCurrency) Economy.kif 2962-2962
(instance AustralianDollar UnitOfCurrency) Economy.kif 2966-2966
(instance AustrianSchilling UnitOfCurrency) Economy.kif 2970-2970
(instance AzerbaijaniManat UnitOfCurrency) Economy.kif 2974-2974
(instance BahamianDollar UnitOfCurrency) Economy.kif 2978-2978
(instance BahrainianDinar UnitOfCurrency) Economy.kif 2982-2982
(instance BangladeshiTaka UnitOfCurrency) Economy.kif 2986-2986
(instance BarbadosDollar UnitOfCurrency) Economy.kif 2990-2990
(instance BelarusianRubel UnitOfCurrency) Economy.kif 2994-2994
(instance BelgianFranc UnitOfCurrency) Economy.kif 2998-2998
(instance BelizeDollar UnitOfCurrency) Economy.kif 3002-3002
(instance BeninFranc UnitOfCurrency) Economy.kif 3006-3006
(instance BermudaDollar UnitOfCurrency) Economy.kif 3010-3010
(instance BhutaneseNgultrum UnitOfCurrency) Economy.kif 3014-3014
(instance BolivianBoliviano UnitOfCurrency) Economy.kif 3018-3018
(instance BotswanaPula UnitOfCurrency) Economy.kif 3022-3022
(instance BrazilianReal UnitOfCurrency) Economy.kif 3026-3026
(instance BritishPound UnitOfCurrency) Economy.kif 2889-2889
(instance BruneiDollar UnitOfCurrency) Economy.kif 3030-3030
(instance BulgarianLev UnitOfCurrency) Economy.kif 3034-3034

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 currencyExchangeRate 1 UnitOfCurrency) Economy.kif 3656-3656
(domain currencyExchangeRateInPeriod 1 UnitOfCurrency) Economy.kif 3642-3642
(domain currencyType 2 UnitOfCurrency) Economy.kif 2876-2876

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


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


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