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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedStatesCent

Sigma KEE - UnitedStatesCent
UnitedStatesCent(united states cent)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2620-2621
No TPTP formula. May not be expressible in strict first order. Merge.kif 7388-7389
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1334-1335
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4415-4415
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4414-4414
No TPTP formula. May not be expressible in strict first order. Merge.kif 7386-7386 United states cent is an instance of unit of currency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2929-2929 United states cent is a currency value of united states cent coin
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60338-60338
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60337-60337
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60336-60336

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2935-2935 10.0 United states cent(s) is a currency value of united states cent coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2932-2932 5.0 United states cent(s) is a currency value of united states five cent coin
No TPTP formula. May not be expressible in strict first order. Economy.kif 2938-2938 25.0 United states cent(s) is a currency value of united states quarter coin
No TPTP formula. May not be expressible in strict first order. 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 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