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


KB Term:  Term intersection
English Word: 

  BrakeCaliper

 Sigma KEE - currencyValue
currencyValue

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


(instance currencyValue BinaryPredicate) Economy.kif 3933-3933 currency value is an instance of binary predicate
(domainSubclass currencyValue 1 Currency) Economy.kif 3934-3934 The number 1 argument of currency value is a subclass of currency
(domain currencyValue 2 CurrencyMeasure) Economy.kif 3935-3935 The number 2 argument of currency value is an instance of currency measure
(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 3936-3938 The number 2 argument of currency value is an instance of currency measure

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


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

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


(currencyValue AfghanAfghaniCoin AfghanAfghani) Economy.kif 3240-3240 Afghan afghani is a currency value of afghan afghani coin
(currencyValue BritishPoundCoin BritishPound) Economy.kif 3242-3242 British pound is a currency value of british pound coin
(currencyValue CanadianDollarCoin CanadianDollar) Economy.kif 3244-3244 Canadian dollar is a currency value of canadian dollar coin
(currencyValue EuroCentCoin EuroCent) Economy.kif 3246-3246 Euro cent is a currency value of euro cent coin
(currencyValue FrenchFrancCoin FrenchFranc) Economy.kif 3250-3250 French franc is a currency value of french franc coin
(currencyValue GermanMarkCoin GermanMark) Economy.kif 3252-3252 German mark is a currency value of german mark coin
(currencyValue ItalianLiraCoin ItalianLira) Economy.kif 3254-3254 Italian lira is a currency value of italian lira coin
(currencyValue JapaneseYenCoin JapaneseYen) Economy.kif 3256-3256 Japanese yen is a currency value of japanese yen coin
(currencyValue TajikSomoniCoin TajikSomoni) Economy.kif 3258-3258 Tajik somoni is a currency value of tajik somoni coin
(currencyValue UnitedStatesCentCoin UnitedStatesCent) Economy.kif 3261-3261 United states cent is a currency value of united states cent coin
(currencyValue UnitedStatesFiveCentCoin
    (MeasureFn 5.0 UnitedStatesCent))		 Economy.kif 3264-3264 5.0 United states cent(s) is a currency value of united states five cent coin
(currencyValue UnitedStatesCentCoin
    (MeasureFn 10.0 UnitedStatesCent))		 Economy.kif 3267-3267 10.0 United states cent(s) is a currency value of united states cent coin
(currencyValue UnitedStatesQuarterCoin
    (MeasureFn 25.0 UnitedStatesCent))		 Economy.kif 3270-3270 25.0 United states cent(s) is a currency value of united states quarter coin
(currencyValue UnitedStatesDollarBill UnitedStatesDollar) Economy.kif 3273-3273 United states dollar is a currency value of united states dollar bill


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners