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

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 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 21571-21571	Emulsion e' uma sub-classe de Colloid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21613-21613	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 21625-21625	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 21615-21621	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 21558-21567	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 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