UnitOfCurrency - Sigma Knowledge base Browser

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	UnitOfCurrency は NonCompositeUnitOfMeasure の subclass では %n

appearance as argument number 2

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

antecedent

(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfCurrency))
    (instance ?QUANT CurrencyMeasure))

Merge.kif 9217-9221

実数の測定単位(s) は物理量と equal では %n 測定単位は UnitOfCurrency の instance では %n
物理量は通貨測定の instance では %n

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

KB Term:			Term intersection

English Word: