Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mixture
Mixture(mixture)
18-karat_gold, 22-karat_gold, Admiralty_Metal, Admiralty_brass, Alnico, Babbitt_metal, Ballistite, Britannia_metal, Carboloy, Damascus_steel, Damask_steel, Duralumin, Elinvar, Eureka, German_silver, Greek_fire, Inconel, Invar, Monel_metal, Monell_metal, Muntz_metal, Ni-hard, Ni-hard_iron, Ni-resist, Ni-resist_iron, Nichrome, Paris_green, Permalloy, Rochelle_powder, Rochelle_salt, Rochelle_salts, Saint-John's-bread, Seidlitz_powder, Seidlitz_powders, Stellite, TNT, Tiffany_glass, Tobin_bronze, Vaseline, Wood's_alloy, Wood's_metal, additive, adhesive_plaster, adobe, adobe_brick, afterdamp, agar, air_cushion, air_gas, alkali...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1621-1623
No TPTP formula. May not be expressible in strict first order. Merge.kif 1184-1188
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 202-205
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 240-244
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6706-6706
No TPTP formula. May not be expressible in strict first order. Merge.kif 1182-1182 Mixture is a subclass of substance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4745-4745 Mydayis is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Economy.kif 5601-5601 Bauxite is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21557-21557 Colloid is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Economy.kif 5895-5895 Concrete is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8832-8832 Detergent is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Food.kif 1600-1600 Dough is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Cars.kif 1139-1139 Exhaust is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Economy.kif 5975-5975 Fertilizer is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 14736-14736 Gas mixture is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Economy.kif 6098-6098 Gemstone is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8910-8910 Glass is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8897-8897 Glue is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Geography.kif 4440-4440 Gravel is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1249-1249 Gun powder is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17982-17982 Humus is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Cars.kif 1580-1580 Hydraulic fluid is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 14709-14709 Liquid mixture is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8913-8913 Metallic alloy is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Geography.kif 7403-7403 PM is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Food.kif 309-309 Prepared food is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5836-5836 Hartmann's solution is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2153-2153 Sewage is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17921-17921 Soil is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Economy.kif 4557-4557 Vegetable oil is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21445-21445 Vomit is a subclass of mixture

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 227-227 The number 4 argument of concentration is an instance of mixture
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5859-5859 The number 2 argument of mixturePartType is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 1042-1042 Substance is exhaustively partitioned into pure substance and mixture

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 1248-1262
No TPTP formula. May not be expressible in strict first order. Merge.kif 1200-1205
No TPTP formula. May not be expressible in strict first order. Cars.kif 1219-1228
No TPTP formula. May not be expressible in strict first order. Food.kif 1633-1639
No TPTP formula. May not be expressible in strict first order. Merge.kif 1190-1198

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4570-4585
No TPTP formula. May not be expressible in strict first order. Cars.kif 943-958
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2523-2531
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8812-8820
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4528-4543
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4549-4564


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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