No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21557-21557 | Colloid est une sous-classe de mixture |
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. | Mid-level-ontology.kif 21626-21626 | SolMixture est une sous-classe de Colloid |
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 1749-1749 | Jam 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 2595-2595 | Juice 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. | Food.kif 3167-3167 | Buttermilk 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. | Food.kif 3565-3565 | Vinegar est une sous-classe de Colloid |