Colloid - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Colloid

Colloid(colloid)

colloid, colloidal_gel, colloidal_solution, colloidal_suspension, dispersed_particles, dispersed_phase, dispersing_medium, dispersing_phase, dispersion_medium, emulsion, gel, silica_gel, silver_protein, sol

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21552-21554
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21548-21551
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31582-31582	roomTempState colloid and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21556-21556	Colloid is a subclass of mixture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7543-7543	Aerosal is a subclass of colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 390-390	Beverage is a subclass of colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 3167-3167	Buttermilk is a subclass of colloid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21571-21571	Emulsion is a subclass of colloid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21613-21613	Gel is a subclass of colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 1749-1749	Jam is a subclass of colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 2595-2595	Juice is a subclass of colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 2062-2062	Sauce is a subclass of colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 3432-3432	Soda is a subclass of colloid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21625-21625	Sol mixture is a subclass of colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 3565-3565	Vinegar is a subclass of colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 3145-3145	Whey is a subclass of colloid
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15632-15632
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15631-15631
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15630-15630

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7545-7554	If an object is an instance of colloid and another object is a part of the object and solid is an attribute of the other object or liquid is an attribute of the other object and a third object is an instance of air and the third object is a part of the object, then the object is an instance of aerosal
No TPTP formula. May not be expressible in strict first order.	Food.kif 3199-3211	If a process is an instance of curdling and a substance is a patient of the process and the substance is an instance of colloid, then there exist another process and another substance such that the other process is an instance of separating and the other process is a subprocess of the process and the substance is a patient of the other process and the other substance is a result of the other process and the other substance is a piece of the substance and the other substance is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21615-21621	If an object is an instance of colloid and solid is an attribute of the object and fluid is an attribute of the object and the object is equal to an entity, then the entity is an instance of gel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21558-21567	If an object is an instance of colloid, then there exist a self connected object and a real number such that the self connected object is a part of the object and insoluble is an attribute of the self connected object and the approximate diameter of the self connected object is the real number nanometer(s) and 977.0 is greater than the real number and the real number is greater than 0.95

consequent

No TPTP formula. May not be expressible in strict first order.

Food.kif 3186-3197

If a process is an instance of curdling,
then there exists an entity such that the entity is a patient of the process and the entity is an instance of colloid holds during the beginning of the time of existence of the process and the entity is not an instance of colloid holds during the end of the time of existence of the process

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