No TPTP formula. May not be expressible in strict first order. | Economy.kif 5895-5895 | Concrete is a subclass of mixture |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5917-5917 | Ready mix concrete is a subclass of concrete |