Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  UnitedStatesCent
|
|
|
| appearance as argument number 1 |
|
|
| (instance UnitedStatesCent UnitOfCurrency) | Merge.kif 7524-7524 | United states cent is an instance of unit of currency |
| (documentation UnitedStatesCent EnglishLanguage "A currency measure. 1 UnitedStatesCent is equal to .01 UnitedStatesDollars.") | Merge.kif 7526-7527 | United states cent is an instance of unit of currency |
| (externalImage UnitedStatesCent "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ 2005-Penny_Uncirculated_Obverse_cropped.png") | pictureList.kif 4413-4413 | United states cent is an instance of unit of currency |
| (externalImage UnitedStatesCent "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5e/ Assorted_United_States_coins.jpg") | pictureList.kif 4414-4414 | United states cent is an instance of unit of currency |
| appearance as argument number 2 |
|
|
| statement |
|
|
| (equal (MeasureFn ?NUMBER UnitedStatesCent) (MeasureFn (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar)) |
Merge.kif 7529-7531 | equal X united states cent(s) and X and 0.01 united states dollar(s) |
| (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 |
|
