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 3814-3816
(domain currencyValue 2 CurrencyMeasure) Economy.kif 3813-3813 The number 2 argument of currency value is an instance of currency measure
(domainSubclass currencyValue 1 Currency) Economy.kif 3812-3812 The number 1 argument of currency value is a subclass of currency
(instance currencyValue BinaryPredicate) Economy.kif 3811-3811 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 18117-18117
(termFormat ChineseTraditionalLanguage currencyValue "貨幣價值") domainEnglishFormat.kif 18116-18116
(termFormat EnglishLanguage currencyValue "currency value") domainEnglishFormat.kif 18115-18115

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


(currencyValue AfghanAfghaniCoin AfghanAfghani) Economy.kif 3118-3118 Afghan afghani is a currency value of afghan afghani coin
(currencyValue BritishPoundCoin BritishPound) Economy.kif 3120-3120 British pound is a currency value of british pound coin
(currencyValue CanadianDollarCoin CanadianDollar) Economy.kif 3122-3122 Canadian dollar is a currency value of canadian dollar coin
(currencyValue EuroCentCoin EuroCent) Economy.kif 3124-3124 Euro cent is a currency value of euro cent coin
(currencyValue FrenchFrancCoin FrenchFranc) Economy.kif 3128-3128 French franc is a currency value of french franc coin
(currencyValue GermanMarkCoin GermanMark) Economy.kif 3130-3130 German mark is a currency value of german mark coin
(currencyValue ItalianLiraCoin ItalianLira) Economy.kif 3132-3132 Italian lira is a currency value of italian lira coin
(currencyValue JapaneseYenCoin JapaneseYen) Economy.kif 3134-3134 Japanese yen is a currency value of japanese yen coin
(currencyValue TajikSomoniCoin TajikSomoni) Economy.kif 3136-3136 Tajik somoni is a currency value of tajik somoni coin
(currencyValue UnitedStatesCentCoin
    (MeasureFn 10.0 UnitedStatesCent))		 Economy.kif 3145-3145 10.0 United states cent(s) is a currency value of united states cent coin
(currencyValue UnitedStatesCentCoin UnitedStatesCent) Economy.kif 3139-3139 United states cent is a currency value of united states cent coin
(currencyValue UnitedStatesDollarBill UnitedStatesDollar) Economy.kif 3151-3151 United states dollar is a currency value of united states dollar bill
(currencyValue UnitedStatesFiveCentCoin
    (MeasureFn 5.0 UnitedStatesCent))		 Economy.kif 3142-3142 5.0 United states cent(s) is a currency value of united states five cent coin
(currencyValue UnitedStatesQuarterCoin
    (MeasureFn 25.0 UnitedStatesCent))		 Economy.kif 3148-3148 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