TreeView Knowledge Base Browser - UnitedStatesCentCoin

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2935-2935	currencyValue UnitedStatesCentCoin and 10.0 UnitedStatesCent(s)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2929-2929	currencyValue UnitedStatesCentCoin and UnitedStatesCent
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	UnitedStatesCentCoin e' uma sub-classe de CurrencyCoin

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