(=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock)) |
Food.kif 1633-1639 |
|
(subclass Mixture Substance) | Merge.kif 1182-1182 | Mistura e' uma sub-classe de Substancia |
(subclass GunPowder Mixture) | Mid-level-ontology.kif 1249-1249 | GunPowder e' uma sub-classe de Mistura |
(subclass Sewage Mixture) | Mid-level-ontology.kif 2153-2153 | Sewage e' uma sub-classe de Mistura |
(subclass Detergent Mixture) | Mid-level-ontology.kif 8832-8832 | Detergent e' uma sub-classe de Mistura |
(subclass Glue Mixture) | Mid-level-ontology.kif 8897-8897 | Glue e' uma sub-classe de Mistura |
(subclass Glass Mixture) | Mid-level-ontology.kif 8910-8910 | Glass e' uma sub-classe de Mistura |
(subclass MetallicAlloy Mixture) | Mid-level-ontology.kif 8913-8913 | MetallicAlloy e' uma sub-classe de Mistura |
(subclass Soil Mixture) | Mid-level-ontology.kif 17921-17921 | Soil e' uma sub-classe de Mistura |
(subclass Humus Mixture) | Mid-level-ontology.kif 17982-17982 | Humus e' uma sub-classe de Mistura |
(subclass Vomit Mixture) | Mid-level-ontology.kif 21445-21445 | Vomit e' uma sub-classe de Mistura |
(subclass Colloid Mixture) | Mid-level-ontology.kif 21557-21557 | Colloid e' uma sub-classe de Mistura |
(subclass LiquidMixture Mixture) | Merge.kif 14709-14709 | LiquidMixture e' uma sub-classe de Mistura |
(subclass GasMixture Mixture) | Merge.kif 14736-14736 | GasMixture e' uma sub-classe de Mistura |
(subclass Adderall Mixture) | Medicine.kif 4745-4745 | Adderall e' uma sub-classe de Mistura |
(subclass RingersLactate Mixture) | Medicine.kif 5836-5836 | RingersLactate e' uma sub-classe de Mistura |
(subclass Gravel Mixture) | Geography.kif 4440-4440 | Gravel e' uma sub-classe de Mistura |
(subclass ParticulateMatter Mixture) | Geography.kif 7403-7403 | ParticulateMatter e' uma sub-classe de Mistura |
(subclass PreparedFood Mixture) | Food.kif 309-309 | PreparedFood e' uma sub-classe de Mistura |
(subclass Dough Mixture) | Food.kif 1600-1600 | Dough e' uma sub-classe de Mistura |
(subclass VegetableOil Mixture) | Economy.kif 4557-4557 | VegetableOil e' uma sub-classe de Mistura |
(subclass Bauxite Mixture) | Economy.kif 5601-5601 | Bauxite e' uma sub-classe de Mistura |
(subclass Concrete Mixture) | Economy.kif 5895-5895 | Concrete e' uma sub-classe de Mistura |
(subclass Fertilizer Mixture) | Economy.kif 5975-5975 | Fertilizer e' uma sub-classe de Mistura |
(subclass Gemstone Mixture) | Economy.kif 6098-6098 | Gemstone e' uma sub-classe de Mistura |
(subclass Exhaust Mixture) | Cars.kif 1139-1139 | Exhaust e' uma sub-classe de Mistura |
(subclass HydraulicFluid Mixture) | Cars.kif 1580-1580 | HydraulicFluid e' uma sub-classe de Mistura |