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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedStatesCent

Sigma KEE - UnitedStatesCent
UnitedStatesCent(美国分)

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 美国分UnitOfCurrencyinstance

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


(currencyValue UnitedStatesCentCoin UnitedStatesCent) Economy.kif 2929-2929 美国分美国分硬币currency 價值
(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 美国分美国分硬币currency 價值
(currencyValue UnitedStatesFiveCentCoin
    (MeasureFn 5.0 UnitedStatesCent))
Economy.kif 2932-2932 5.0 美国分美国五美分硬币currency 價值
(currencyValue UnitedStatesQuarterCoin
    (MeasureFn 25.0 UnitedStatesCent))
Economy.kif 2938-2938 25.0 美国分美国四分之一硬币currency 價值
(equal
    (MeasureFn ?NUMBER UnitedStatesCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar))
Merge.kif 7391-7393 实数 美国分 equal 那个 实数 和 0.01 美国美元


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 is open source software produced by Articulate Software and its partners