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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedStatesCent
UnitedStatesCent(united states cent)

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


(documentation UnitedStatesCent ChineseLanguage "这是一种货币单位, 1 UnitedStatesCent 等于 .01 UnitedStatesDollar。") chinese_format.kif 2620-2621
(documentation UnitedStatesCent EnglishLanguage "A currency measure. 1 UnitedStatesCent is equal to .01 UnitedStatesDollars.") Merge.kif 7388-7389
(documentation UnitedStatesCent JapaneseLanguage "通貨メジャー。1 UnitedStatesCent は .01 UnitedStatesDollar に等しい。") japanese_format.kif 1334-1335
(externalImage UnitedStatesCent "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5e/ Assorted_United_States_coins.jpg") pictureList.kif 4415-4415
(externalImage UnitedStatesCent "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ 2005-Penny-Uncirculated-Obverse-cropped.png") pictureList.kif 4414-4414
(instance UnitedStatesCent UnitOfCurrency) Merge.kif 7386-7386 United states cent is an instance of unit of currency

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


(currencyValue UnitedStatesCentCoin UnitedStatesCent) Economy.kif 2929-2929 United states cent is a currency value of united states cent coin
(termFormat ChineseLanguage UnitedStatesCent "美国分") domainEnglishFormat.kif 60338-60338
(termFormat ChineseTraditionalLanguage UnitedStatesCent "美國分") domainEnglishFormat.kif 60337-60337
(termFormat EnglishLanguage UnitedStatesCent "united states cent") domainEnglishFormat.kif 60336-60336

statement
-------------------------


(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 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
(equal
    (MeasureFn ?NUMBER UnitedStatesCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar))
Merge.kif 7391-7393 A real number united states cent(s) is equal to the real number and 0.01 united states dollar(s)


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