No TPTP formula. May not be expressible in strict first order. | Economy.kif 6293-6293 | Concrete is a subclass of mixture |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6315-6315 | Ready mix concrete is a subclass of concrete |
![]() |