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


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