Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass Mixture Substance) Merge.kif 1104-1104
(subclass GunPowder Mixture) Mid-level-ontology.kif 1188-1188
(subclass Sewage Mixture) Mid-level-ontology.kif 2091-2091
(subclass Detergent Mixture) Mid-level-ontology.kif 8411-8411
(subclass Glue Mixture) Mid-level-ontology.kif 8476-8476
(subclass Glass Mixture) Mid-level-ontology.kif 8489-8489
(subclass MetallicAlloy Mixture) Mid-level-ontology.kif 8492-8492
(subclass Soil Mixture) Mid-level-ontology.kif 17168-17168
(subclass Humus Mixture) Mid-level-ontology.kif 17229-17229
(subclass Vomit Mixture) Mid-level-ontology.kif 20595-20595
(subclass Dough Mixture) Mid-level-ontology.kif 20827-20827
(subclass LiquidMixture Mixture) Merge.kif 14067-14067
(subclass GasMixture Mixture) Merge.kif 14093-14093
(subclass Gravel Mixture) Geography.kif 4256-4256
(subclass Colloid Mixture) Geography.kif 6939-6939
(subclass ParticulateMatter Mixture) Geography.kif 6961-6961
(subclass Soda Mixture) Food.kif 849-849
(subclass Bauxite Mixture) Economy.kif 4482-4482
(subclass Concrete Mixture) Economy.kif 4783-4783
(subclass Fertilizer Mixture) Economy.kif 4863-4863
(subclass Gemstone Mixture) Economy.kif 4984-4984
(subclass Exhaust Mixture) Cars.kif 1139-1139
(subclass HydraulicFluid Mixture) Cars.kif 1580-1580


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