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
(subclass GunPowder Mixture) Mid-level-ontology.kif 1249-1249 枪粉 是 混合物 的 subclass
(subclass Sewage Mixture) Mid-level-ontology.kif 2153-2153 污水 是 混合物 的 subclass
(subclass Detergent Mixture) Mid-level-ontology.kif 8831-8831 洗涤剂 是 混合物 的 subclass
(subclass Glue Mixture) Mid-level-ontology.kif 8896-8896 胶 是 混合物 的 subclass
(subclass Glass Mixture) Mid-level-ontology.kif 8909-8909 玻璃 是 混合物 的 subclass
(subclass MetallicAlloy Mixture) Mid-level-ontology.kif 8912-8912 金属合金 是 混合物 的 subclass
(subclass Soil Mixture) Mid-level-ontology.kif 17920-17920 泥 是 混合物 的 subclass
(subclass Humus Mixture) Mid-level-ontology.kif 17981-17981 腐殖质 是 混合物 的 subclass
(subclass Vomit Mixture) Mid-level-ontology.kif 21444-21444 Vomit 是 混合物 的 subclass
(subclass Colloid Mixture) Mid-level-ontology.kif 21556-21556 胶体 是 混合物 的 subclass
(subclass LiquidMixture Mixture) Merge.kif 14731-14731 液体混合物 是 混合物 的 subclass
(subclass GasMixture Mixture) Merge.kif 14758-14758 混合气体 是 混合物 的 subclass
(subclass Adderall Mixture) Medicine.kif 4745-4745 Adderall 是 混合物 的 subclass
(subclass RingersLactate Mixture) Medicine.kif 5836-5836 RingersLactate 是 混合物 的 subclass
(subclass Gravel Mixture) Geography.kif 4440-4440 砾石 是 混合物 的 subclass
(subclass ParticulateMatter Mixture) Geography.kif 7403-7403 悬浮颗粒 是 混合物 的 subclass
(subclass PreparedFood Mixture) Food.kif 309-309 已准备食物 是 混合物 的 subclass
(subclass Dough Mixture) Food.kif 1600-1600 面团 是 混合物 的 subclass
(subclass VegetableOil Mixture) Economy.kif 4557-4557 植物油 是 混合物 的 subclass
(subclass Bauxite Mixture) Economy.kif 5601-5601 矾土 是 混合物 的 subclass
(subclass Concrete Mixture) Economy.kif 5895-5895 具体 是 混合物 的 subclass
(subclass Fertilizer Mixture) Economy.kif 5975-5975 肥料 是 混合物 的 subclass
(subclass Gemstone Mixture) Economy.kif 6098-6098 宝石 是 混合物 的 subclass
(subclass Exhaust Mixture) Cars.kif 1139-1139 Exhaust 是 混合物 的 subclass
(subclass HydraulicFluid Mixture) Cars.kif 1585-1585 HydraulicFluid 是 混合物 的 subclass


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