Mixture - Sigma Knowledge base Browser

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	If a substance is an instance of mixture and another substance is a piece of the substance and the other substance is not an instance of mixture, then the other substance is an instance of pure substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1224-1233	If an object is an instance of water and another object is an instance of mixture and the object is a part of the other object and a third object is an instance of antifreeze and the third object is a part of the other object and solid is an attribute of the other object and the measure of the other object is a real number celsius degree(s), then 32 is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1112-1120	If a substance is an instance of mixture, then there exist another substance and a third substance such that the other substance is an instance of pure substance and the third substance is an instance of pure substance and the other substance is not equal to the third substance and the other substance is a piece of the substance and the third substance is a piece of the substance

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 934-949	If a physical is an instance of air filter, then the physical purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of removing and the other entity is a part of the fourth entity and the other entity is an instance of air and the third entity is not an instance of air and solid is an attribute of the third entity and the third entity is a patient of the entity and the third entity is a part of the fourth entity and the entity originates at the fourth entity and the fourth entity is an instance of mixture and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2985-2993	If a physical is an instance of filter, then the physical purpose there exist an entity and another entity such that the entity is an instance of removing and the entity originates at the other entity and the other entity is an instance of mixture and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8473-8480	If an object is an instance of oil, then there don't exist another object and a third object such that the other object is an instance of mixture and the third object is a part of the other object and the third object is an instance of water and the object is a part of the other object

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

KB Term:			Term intersection

English Word: