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

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21553-21555
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21549-21552
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31586-31586	roomTempState Colloid and Liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21557-21557	Colloid est une sous-classe de mixture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7543-7543	Aerosal est une sous-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 390-390	Boisson est une sous-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 3167-3167	Buttermilk est une sous-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21572-21572	Emulsion est une sous-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21614-21614	Gel est une sous-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 1749-1749	Jam est une sous-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 2595-2595	Juice est une sous-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 2062-2062	Sauce est une sous-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 3432-3432	Soda est une sous-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21626-21626	SolMixture est une sous-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 3565-3565	Vinegar est une sous-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 3145-3145	Whey est une sous-classe de 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	Objet est une instance de Colloid objet est une partie de objet Solid est un attribut de objet Liquid est un attribut de objet objet est une instance de Air objet est une partie de objet objet est une instance de Aerosal
No TPTP formula. May not be expressible in strict first order.	Food.kif 3199-3211	Processus est une instance de Curdling substance est un patient de processus substance est une instance de Colloid processus substance processus est une instance de separer processus est un sous-processus de processus substance est un patient de processus substance est le resultat de processus substance est une pi�ce de substance substance est une instance de substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21616-21622	Objet est une instance de Colloid Solid est un attribut de objet Fluid est un attribut de objet objet est entit� entit� est une instance de Gel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21559-21568	Objet est une instance de Colloid objet en une partie nombre r�el objet en une partie est une partie de objet Insoluble est un attribut de objet en une partie approximateDiameter objet en une partie and nombre r�el Nanometer(s) 977.0 est plus grand que nombre r�el nombre r�el est plus grand que 0.95

consequent

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

Food.kif 3186-3197

Processus est une instance de Curdling
entit� entit� est un patient de processus entit� est une instance de Colloid pendant le d�but de temps d'existence de processus entit� est une instance de Colloid pendant la fin de temps d'existence de processus

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