TreeView Knowledge Base Browser - Colloid

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 21580-21582
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21576-21579
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31618-31618	roomTempState colloid and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21584-21584	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 21599-21599	Emulsion is a subclass of colloid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21641-21641	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 21653-21653	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 21643-21649	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 21586-21595	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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