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