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 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 21556-21556	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 8831-8831	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 14758-14758	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 8909-8909	Glass is a subclass of mixture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8896-8896	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 17981-17981	Humus is a subclass of mixture
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1585-1585	Hydraulic fluid is a subclass of mixture
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14731-14731	Liquid mixture is a subclass of mixture
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8912-8912	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 17920-17920	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 21444-21444	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	If an object is an instance of mixture and an unit of measure is an instance of unit of measure and A Mixture containing a real number unit the unit of measure of a substance and another real number unit the unit of measure of another substance and the measure of the object is a third real number the unit of measure(s) and the substance is a part of the object and the other substance is a part of the object and the measure of the substance is the real number the unit of measure(s) and the measure of the other substance is the other real number the unit of measure(s), then the third real number is equal to (the real number and the other real number)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1200-1205	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 1219-1228	If an object is an instance of tap 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.	Food.kif 1633-1639	If a kind of object is a subclass of mixture and every a kind of object is initially part of a meat and every the kind of object is initially part of a food from plant and every the kind of object is initially part of a potable water, then the kind of object is equal to soup stock
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1190-1198	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.	Mid-level-ontology.kif 4570-4585	If a physical is an instance of colander, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of mixture and the other entity is an instance of substance and the other entity is a part of the entity and liquid is an attribute of the other entity and the fourth entity is an instance of removing and the other entity is a patient of the fourth entity and the third entity is an instance of substance and the third entity is a part of the entity and solid is an attribute of the third entity and the third entity is a result of the fourth entity and the physical is an instrument for the fourth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 943-958	If a physical is an instance of air filter, then the physical has the 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 2523-2531	If a physical is an instance of filter, then the physical has the 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 8811-8819	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 freshwater and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4528-4543	If a physical is an instance of sieve, then the physical has the purpose there exist an entity, another entity,, , the physicalUB,, , a fourth entity and a fifth entity such that the entity is an instance of removing and the other entity is an instance of mixture and the physicalUB is an instance of substance and the physicalUB is a part of the other entity and the physicalUB is a patient of the entity and the fourth entity is a part of the physical and the fourth entity is an instrument for the entity and the fifth entity is an instance of human and the fifth entity is an agent of the entity and the fifth entity doesn't desire the physicalUB
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4549-4564	If a physical is an instance of strainer, then the physical has the purpose there exist an entity, the physicalUB,, , a third entity and a fourth entity such that the entity is an instance of mixture and the physicalUB is an instance of substance and the third entity is an instance of substance and the physicalUB is a part of the entity and solid is an attribute of the physicalUB and the fourth entity is an instance of removing and the third entity is a part of the entity and liquid is an attribute of the third entity and the physicalUB is a patient of the fourth entity and the third entity is a result of the fourth entity and the physical is an instrument for the fourth entity

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: