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 3941-3943
(domain currencyValue 2 CurrencyMeasure) Economy.kif 3940-3940 The number 2 argument of currency value is an instance of currency measure
(domainSubclass currencyValue 1 Currency) Economy.kif 3939-3939 The number 1 argument of currency value is a subclass of currency
(instance currencyValue BinaryPredicate) Economy.kif 3938-3938 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 3245-3245 Afghan afghani is a currency value of afghan afghani coin
(currencyValue BritishPoundCoin BritishPound) Economy.kif 3247-3247 British pound is a currency value of british pound coin
(currencyValue CanadianDollarCoin CanadianDollar) Economy.kif 3249-3249 Canadian dollar is a currency value of canadian dollar coin
(currencyValue EuroCentCoin EuroCent) Economy.kif 3251-3251 Euro cent is a currency value of euro cent coin
(currencyValue FrenchFrancCoin FrenchFranc) Economy.kif 3255-3255 French franc is a currency value of french franc coin
(currencyValue GermanMarkCoin GermanMark) Economy.kif 3257-3257 German mark is a currency value of german mark coin
(currencyValue ItalianLiraCoin ItalianLira) Economy.kif 3259-3259 Italian lira is a currency value of italian lira coin
(currencyValue JapaneseYenCoin JapaneseYen) Economy.kif 3261-3261 Japanese yen is a currency value of japanese yen coin
(currencyValue TajikSomoniCoin TajikSomoni) Economy.kif 3263-3263 Tajik somoni is a currency value of tajik somoni coin
(currencyValue UnitedStatesCentCoin
    (MeasureFn 10.0 UnitedStatesCent))		 Economy.kif 3272-3272 10.0 United states cent(s) is a currency value of united states cent coin
(currencyValue UnitedStatesCentCoin UnitedStatesCent) Economy.kif 3266-3266 United states cent is a currency value of united states cent coin
(currencyValue UnitedStatesDollarBill UnitedStatesDollar) Economy.kif 3278-3278 United states dollar is a currency value of united states dollar bill
(currencyValue UnitedStatesFiveCentCoin
    (MeasureFn 5.0 UnitedStatesCent))		 Economy.kif 3269-3269 5.0 United states cent(s) is a currency value of united states five cent coin
(currencyValue UnitedStatesQuarterCoin
    (MeasureFn 25.0 UnitedStatesCent))		 Economy.kif 3275-3275 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