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 and Substance
(subclass GunPowder Mixture) Mid-level-ontology.kif 1249-1249 子類 槍粉 and Mixture
(subclass Sewage Mixture) Mid-level-ontology.kif 2153-2153 子類 污水 and Mixture
(subclass Detergent Mixture) Mid-level-ontology.kif 8832-8832 子類 洗滌劑 and Mixture
(subclass Glue Mixture) Mid-level-ontology.kif 8897-8897 子類 膠 and Mixture
(subclass Glass Mixture) Mid-level-ontology.kif 8910-8910 子類 玻璃 and Mixture
(subclass MetallicAlloy Mixture) Mid-level-ontology.kif 8913-8913 子類 金屬合金 and Mixture
(subclass Soil Mixture) Mid-level-ontology.kif 17921-17921 子類 泥 and Mixture
(subclass Humus Mixture) Mid-level-ontology.kif 17982-17982 子類 腐殖質 and Mixture
(subclass Vomit Mixture) Mid-level-ontology.kif 21445-21445 子類 Vomit and Mixture
(subclass Colloid Mixture) Mid-level-ontology.kif 21557-21557 子類 膠體 and Mixture
(subclass LiquidMixture Mixture) Merge.kif 14709-14709 子類 液體混合物 and Mixture
(subclass GasMixture Mixture) Merge.kif 14736-14736 子類 混合氣體 and Mixture
(subclass Adderall Mixture) Medicine.kif 4745-4745 子類 Adderall and Mixture
(subclass RingersLactate Mixture) Medicine.kif 5836-5836 子類 RingersLactate and Mixture
(subclass Gravel Mixture) Geography.kif 4440-4440 子類 礫石 and Mixture
(subclass ParticulateMatter Mixture) Geography.kif 7403-7403 子類 ParticulateMatter and Mixture
(subclass PreparedFood Mixture) Food.kif 309-309 子類 已準備食物 and Mixture
(subclass Dough Mixture) Food.kif 1600-1600 子類 麵團 and Mixture
(subclass VegetableOil Mixture) Economy.kif 4557-4557 子類 植物油 and Mixture
(subclass Bauxite Mixture) Economy.kif 5601-5601 子類 礬土 and Mixture
(subclass Concrete Mixture) Economy.kif 5895-5895 子類 具體 and Mixture
(subclass Fertilizer Mixture) Economy.kif 5975-5975 子類 肥料 and Mixture
(subclass Gemstone Mixture) Economy.kif 6098-6098 子類 寶石 and Mixture
(subclass Exhaust Mixture) Cars.kif 1139-1139 子類 Exhaust and Mixture
(subclass HydraulicFluid Mixture) Cars.kif 1580-1580 子類 HydraulicFluid and 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