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 e' uma sub-classe de Mistura

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7543-7543	Aerosal e' uma sub-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 390-390	Bebida e' uma sub-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 3167-3167	Buttermilk e' uma sub-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21572-21572	Emulsion e' uma sub-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21614-21614	Gel e' uma sub-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 1749-1749	Jam e' uma sub-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 2595-2595	Juice e' uma sub-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 2062-2062	Sauce e' uma sub-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 3432-3432	Soda e' uma sub-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21626-21626	SolMixture e' uma sub-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 3565-3565	Vinegar e' uma sub-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Food.kif 3145-3145	Whey e' uma sub-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	Objeto e' uma instancia de Colloid Objeto e' uma &parte de Objeto Solid e' um atributo de Objeto Liquid e' um atributo de Objeto Objeto e' uma instancia de Air Objeto e' uma &parte de Objeto Objeto e' uma instancia de Aerosal
No TPTP formula. May not be expressible in strict first order.	Food.kif 3199-3211	Processo e' uma instancia de Curdling Substancia e' um patient de Processo Substancia e' uma instancia de Colloid Processo Substancia Processo e' uma instancia de Separar Processo e' um sub-processo de Processo Substancia e' um patient de Processo Substancia e' o resultado de Processo Substancia e' uma peca de Substancia Substancia e' uma instancia de Substancia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21616-21622	Objeto e' uma instancia de Colloid Solid e' um atributo de Objeto Fluid e' um atributo de Objeto Objeto e' igual a Entidade Entidade e' uma instancia de Gel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21559-21568	Objeto e' uma instancia de Colloid Objeto auto-conectado Numero Real Objeto auto-conectado e' uma &parte de Objeto Insoluble e' um atributo de Objeto auto-conectado approximateDiameter Objeto auto-conectado and Numero Real Nanometer(s) 977.0 e' maior que Numero Real Numero Real e' maior que 0.95

consequent

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

Food.kif 3186-3197

Processo e' uma instancia de Curdling
Entidade Entidade e' um patient de Processo Entidade e' uma instancia de Colloid vale durante o comeco de tempo de existencia de Processo Entidade e' uma instancia de Colloid vale durante o fim de tempo de existencia de Processo

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