Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - currencyValue
currencyValue

appearance as argument number 1
-------------------------


(documentation currencyValue EnglishLanguage "The currencyValue is a relation between a physical instrument of currency, such as a bill or coin, and the measure of its worth in a particular currency.") Economy.kif 3604-3606
(domain currencyValue 2 CurrencyMeasure) Economy.kif 3603-3603 The number 2 argument of currency value is an instance of currency measure
(domainSubclass currencyValue 1 Currency) Economy.kif 3602-3602 The number 1 argument of currency value is a subclass of currency
(instance currencyValue BinaryPredicate) Economy.kif 3601-3601 currency value is an instance of binary predicate

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


(format ChineseLanguage currencyValue "%2 %n 是 %1 的 currency 價值") domainEnglishFormat.kif 616-616
(format ChineseTraditionalLanguage currencyValue "%2 %n 是 %1 的 currency 價值") domainEnglishFormat.kif 615-615
(format EnglishLanguage currencyValue "%2 is %n a currency value of %1") domainEnglishFormat.kif 614-614
(termFormat ChineseLanguage currencyValue "货币价值") domainEnglishFormat.kif 18118-18118
(termFormat ChineseTraditionalLanguage currencyValue "貨幣價值") domainEnglishFormat.kif 18117-18117
(termFormat EnglishLanguage currencyValue "currency value") domainEnglishFormat.kif 18116-18116

appearance as argument number 0
-------------------------


(currencyValue AfghanAfghaniCoin AfghanAfghani) Economy.kif 2908-2908 Afghan afghani is a currency value of afghan afghani coin
(currencyValue BritishPoundCoin BritishPound) Economy.kif 2910-2910 British pound is a currency value of british pound coin
(currencyValue CanadianDollarCoin CanadianDollar) Economy.kif 2912-2912 Canadian dollar is a currency value of canadian dollar coin
(currencyValue EuroCentCoin EuroCent) Economy.kif 2914-2914 Euro cent is a currency value of euro cent coin
(currencyValue FrenchFrancCoin FrenchFranc) Economy.kif 2918-2918 French franc is a currency value of french franc coin
(currencyValue GermanMarkCoin GermanMark) Economy.kif 2920-2920 German mark is a currency value of german mark coin
(currencyValue ItalianLiraCoin ItalianLira) Economy.kif 2922-2922 Italian lira is a currency value of italian lira coin
(currencyValue JapaneseYenCoin JapaneseYen) Economy.kif 2924-2924 Japanese yen is a currency value of japanese yen coin
(currencyValue TajikSomoniCoin TajikSomoni) Economy.kif 2926-2926 Tajik somoni is a currency value of tajik somoni coin
(currencyValue UnitedStatesCentCoin
    (MeasureFn 10.0 UnitedStatesCent))		 Economy.kif 2935-2935 10.0 United states cent(s) is a currency value of united states cent coin
(currencyValue UnitedStatesCentCoin UnitedStatesCent) Economy.kif 2929-2929 United states cent is a currency value of united states cent coin
(currencyValue UnitedStatesDollarBill UnitedStatesDollar) Economy.kif 2941-2941 United states dollar is a currency value of united states dollar bill
(currencyValue UnitedStatesFiveCentCoin
    (MeasureFn 5.0 UnitedStatesCent))		 Economy.kif 2932-2932 5.0 United states cent(s) is a currency value of united states five cent coin
(currencyValue UnitedStatesQuarterCoin
    (MeasureFn 25.0 UnitedStatesCent))		 Economy.kif 2938-2938 25.0 United states cent(s) is a currency value of united states quarter coin


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