| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21556-21556 | Colloid e' uma sub-classe de Mistura |
| 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. | Mid-level-ontology.kif 21625-21625 | SolMixture e' uma sub-classe de Colloid |
| 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 1749-1749 | Jam 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 2595-2595 | Juice 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. | Food.kif 3167-3167 | Buttermilk 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. | Food.kif 3565-3565 | Vinegar e' uma sub-classe de Colloid |
|
|