Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Colloid

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 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 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 21572-21572 Emulsion is a subclass of colloid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21614-21614 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 21626-21626 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
No TPTP formula. May not be expressible in strict first order. Food.kif 3199-3211
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21616-21622
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21559-21568

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 3186-3197


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