Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (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 Mixture ist eine teilkategorie von Substance
(subclass GunPowder Mixture) Mid-level-ontology.kif 1249-1249 GunPowder ist eine teilkategorie von Mixture
(subclass Sewage Mixture) Mid-level-ontology.kif 2153-2153 Sewage ist eine teilkategorie von Mixture
(subclass Detergent Mixture) Mid-level-ontology.kif 8832-8832 Detergent ist eine teilkategorie von Mixture
(subclass Glue Mixture) Mid-level-ontology.kif 8897-8897 Glue ist eine teilkategorie von Mixture
(subclass Glass Mixture) Mid-level-ontology.kif 8910-8910 Glass ist eine teilkategorie von Mixture
(subclass MetallicAlloy Mixture) Mid-level-ontology.kif 8913-8913 MetallicAlloy ist eine teilkategorie von Mixture
(subclass Soil Mixture) Mid-level-ontology.kif 17921-17921 Soil ist eine teilkategorie von Mixture
(subclass Humus Mixture) Mid-level-ontology.kif 17982-17982 Humus ist eine teilkategorie von Mixture
(subclass Vomit Mixture) Mid-level-ontology.kif 21445-21445 Vomit ist eine teilkategorie von Mixture
(subclass Colloid Mixture) Mid-level-ontology.kif 21557-21557 Colloid ist eine teilkategorie von Mixture
(subclass LiquidMixture Mixture) Merge.kif 14709-14709 LiquidMixture ist eine teilkategorie von Mixture
(subclass GasMixture Mixture) Merge.kif 14736-14736 GasMixture ist eine teilkategorie von Mixture
(subclass Adderall Mixture) Medicine.kif 4745-4745 Adderall ist eine teilkategorie von Mixture
(subclass RingersLactate Mixture) Medicine.kif 5836-5836 RingersLactate ist eine teilkategorie von Mixture
(subclass Gravel Mixture) Geography.kif 4440-4440 Gravel ist eine teilkategorie von Mixture
(subclass ParticulateMatter Mixture) Geography.kif 7403-7403 ParticulateMatter ist eine teilkategorie von Mixture
(subclass PreparedFood Mixture) Food.kif 309-309 PreparedFood ist eine teilkategorie von Mixture
(subclass Dough Mixture) Food.kif 1600-1600 Dough ist eine teilkategorie von Mixture
(subclass VegetableOil Mixture) Economy.kif 4557-4557 VegetableOil ist eine teilkategorie von Mixture
(subclass Bauxite Mixture) Economy.kif 5601-5601 Bauxite ist eine teilkategorie von Mixture
(subclass Concrete Mixture) Economy.kif 5895-5895 Concrete ist eine teilkategorie von Mixture
(subclass Fertilizer Mixture) Economy.kif 5975-5975 Fertilizer ist eine teilkategorie von Mixture
(subclass Gemstone Mixture) Economy.kif 6098-6098 Gemstone ist eine teilkategorie von Mixture
(subclass Exhaust Mixture) Cars.kif 1139-1139 Exhaust ist eine teilkategorie von Mixture
(subclass HydraulicFluid Mixture) Cars.kif 1580-1580 HydraulicFluid ist eine teilkategorie von Mixture


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners