| No TPTP formula. May not be expressible in strict first order. | Food.kif 1633-1639 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1182-1182 | Mixture is a subclass of substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1249-1249 | Gun powder is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2153-2153 | Sewage is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8832-8832 | Detergent is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8897-8897 | Glue is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8910-8910 | Glass is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8913-8913 | Metallic alloy is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17921-17921 | Soil is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17982-17982 | Humus is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21445-21445 | Vomit is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21557-21557 | Colloid is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14709-14709 | Liquid mixture is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14736-14736 | Gas mixture is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4745-4745 | Mydayis is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5836-5836 | Hartmann's solution is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4440-4440 | Gravel is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7403-7403 | PM is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 309-309 | Prepared food is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1600-1600 | Dough is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4557-4557 | Vegetable oil is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5601-5601 | Bauxite is a subclass of mixture |
| 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 5975-5975 | Fertilizer is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6098-6098 | Gemstone is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1139-1139 | Exhaust is a subclass of mixture |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1580-1580 | Hydraulic fluid is a subclass of mixture |
|
|