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 7389-7390
(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 7387-7387 UnitedStatesCent ist ein fall von UnitOfCurrency %n{nicht}

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


(currencyValue UnitedStatesCentCoin UnitedStatesCent) Economy.kif 2929-2929 currencyValue UnitedStatesCentCoin and UnitedStatesCent
(termFormat ChineseLanguage UnitedStatesCent "美国分") domainEnglishFormat.kif 60340-60340
(termFormat ChineseTraditionalLanguage UnitedStatesCent "美國分") domainEnglishFormat.kif 60339-60339
(termFormat EnglishLanguage UnitedStatesCent "united states cent") domainEnglishFormat.kif 60338-60338

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


(currencyValue UnitedStatesCentCoin
    (MeasureFn 10.0 UnitedStatesCent))
Economy.kif 2935-2935 currencyValue UnitedStatesCentCoin and 10.0 UnitedStatesCent(s)
(currencyValue UnitedStatesFiveCentCoin
    (MeasureFn 5.0 UnitedStatesCent))
Economy.kif 2932-2932 currencyValue UnitedStatesFiveCentCoin and 5.0 UnitedStatesCent(s)
(currencyValue UnitedStatesQuarterCoin
    (MeasureFn 25.0 UnitedStatesCent))
Economy.kif 2938-2938 currencyValue UnitedStatesQuarterCoin and 25.0 UnitedStatesCent(s)
(equal
    (MeasureFn ?NUMBER UnitedStatesCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar))
Merge.kif 7392-7394 RealNumber UnitedStatesCent(s) ist gleich ** RealNumber und 0.01 UnitedStatesDollar(s) %n{nicht}


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