No TPTP formula. May not be expressible in strict first order. | Economy.kif 6098-6098 | Gemstone e' uma sub-classe de Mistura |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6099-6099 | PreciousGemstone e' uma sub-classe de Gemstone |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6104-6104 | SemipreciousGemstone e' uma sub-classe de Gemstone |
![]() |