| 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 | Mistura e' uma sub-classe de Substancia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1249-1249 | GunPowder e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2153-2153 | Sewage e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8831-8831 | Detergent e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8896-8896 | Glue e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8909-8909 | Glass e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8912-8912 | MetallicAlloy e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17920-17920 | Soil e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17981-17981 | Humus e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21444-21444 | Vomit e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21556-21556 | Colloid e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14731-14731 | LiquidMixture e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14758-14758 | GasMixture e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4745-4745 | Adderall e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5836-5836 | RingersLactate e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4440-4440 | Gravel e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7403-7403 | ParticulateMatter e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 309-309 | PreparedFood e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1600-1600 | Dough e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4557-4557 | VegetableOil e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5601-5601 | Bauxite e' uma sub-classe de Mistura |
| 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 5975-5975 | Fertilizer e' uma sub-classe de Mistura |
| 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. | Cars.kif 1139-1139 | Exhaust e' uma sub-classe de Mistura |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1585-1585 | HydraulicFluid e' uma sub-classe de Mistura |
|
|