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 Mistura è una sottoclasse di Sostanza
(subclass GunPowder Mixture) Mid-level-ontology.kif 1249-1249 GunPowder è una sottoclasse di Mistura
(subclass Sewage Mixture) Mid-level-ontology.kif 2153-2153 Sewage è una sottoclasse di Mistura
(subclass Detergent Mixture) Mid-level-ontology.kif 8831-8831 Detergent è una sottoclasse di Mistura
(subclass Glue Mixture) Mid-level-ontology.kif 8896-8896 Glue è una sottoclasse di Mistura
(subclass Glass Mixture) Mid-level-ontology.kif 8909-8909 Glass è una sottoclasse di Mistura
(subclass MetallicAlloy Mixture) Mid-level-ontology.kif 8912-8912 MetallicAlloy è una sottoclasse di Mistura
(subclass Soil Mixture) Mid-level-ontology.kif 17920-17920 Soil è una sottoclasse di Mistura
(subclass Humus Mixture) Mid-level-ontology.kif 17981-17981 Humus è una sottoclasse di Mistura
(subclass Vomit Mixture) Mid-level-ontology.kif 21444-21444 Vomit è una sottoclasse di Mistura
(subclass Colloid Mixture) Mid-level-ontology.kif 21556-21556 Colloid è una sottoclasse di Mistura
(subclass LiquidMixture Mixture) Merge.kif 14731-14731 LiquidMixture è una sottoclasse di Mistura
(subclass GasMixture Mixture) Merge.kif 14758-14758 GasMixture è una sottoclasse di Mistura
(subclass Adderall Mixture) Medicine.kif 4745-4745 Adderall è una sottoclasse di Mistura
(subclass RingersLactate Mixture) Medicine.kif 5836-5836 RingersLactate è una sottoclasse di Mistura
(subclass Gravel Mixture) Geography.kif 4440-4440 Gravel è una sottoclasse di Mistura
(subclass ParticulateMatter Mixture) Geography.kif 7403-7403 ParticulateMatter è una sottoclasse di Mistura
(subclass PreparedFood Mixture) Food.kif 309-309 PreparedFood è una sottoclasse di Mistura
(subclass Dough Mixture) Food.kif 1600-1600 Dough è una sottoclasse di Mistura
(subclass VegetableOil Mixture) Economy.kif 4557-4557 VegetableOil è una sottoclasse di Mistura
(subclass Bauxite Mixture) Economy.kif 5601-5601 Bauxite è una sottoclasse di Mistura
(subclass Concrete Mixture) Economy.kif 5895-5895 Concrete è una sottoclasse di Mistura
(subclass Fertilizer Mixture) Economy.kif 5975-5975 Fertilizer è una sottoclasse di Mistura
(subclass Gemstone Mixture) Economy.kif 6098-6098 Gemstone è una sottoclasse di Mistura
(subclass Exhaust Mixture) Cars.kif 1139-1139 Exhaust è una sottoclasse di Mistura
(subclass HydraulicFluid Mixture) Cars.kif 1585-1585 HydraulicFluid è una sottoclasse di Mistura


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