No TPTP formula. May not be expressible in strict first order. | Economy.kif 5895-5895 | Concrete e' uma sub-classe de Mistura |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5917-5917 | ReadyMixConcrete e' uma sub-classe de Concrete |