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 1106-1110
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6707-6707
No TPTP formula. May not be expressible in strict first order. Merge.kif 1104-1104 Mixture is a subclass of substance

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4479-4479 Bauxite is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Geography.kif 6840-6840 Colloid is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Economy.kif 4780-4780 Concrete is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8492-8492 Detergent is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19369-19369 Dough is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Cars.kif 1130-1130 Exhaust is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Economy.kif 4860-4860 Fertilizer is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 13709-13709 Gas mixture is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Economy.kif 4978-4978 Gemstone is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8567-8567 Glass is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8555-8555 Glue is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Geography.kif 4197-4197 Gravel is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1639-1639 Gun powder is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15714-15714 Humus is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Cars.kif 1576-1576 Hydraulic fluid is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Merge.kif 13683-13683 Liquid mixture is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8570-8570 Metallic alloy is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Geography.kif 6862-6862 PM is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2613-2613 Sewage is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Food.kif 864-864 Soda is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15650-15650 Soil is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19118-19118 Vomit is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 828-828
No TPTP formula. May not be expressible in strict first order. english_format.kif 863-863

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 964-964 Substance is exhaustively partitioned into pure substance and mixture

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1122-1127
No TPTP formula. May not be expressible in strict first order. Cars.kif 1224-1233
No TPTP formula. May not be expressible in strict first order. Merge.kif 1112-1120

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 934-949
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2985-2993
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8473-8480


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