UnitedStatesCentCoin - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2935-2935	10.0 美国分是美国分硬币的 currency 價值
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2929-2929	美国分是美国分硬币的 currency 價值
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4838-4838
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4051-4051
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4416-4416
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2928-2928	美国分硬币是货币硬币的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60344-60344
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60343-60343
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60342-60342