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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Colloid

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

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