No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7543-7543 |
气溶胶 是 胶体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 390-390 |
饮料 是 胶体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3167-3167 |
Buttermilk 是 胶体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21571-21571 |
乳胶 是 胶体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21613-21613 |
凝胶 是 胶体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1749-1749 |
Jam 是 胶体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2595-2595 |
Juice 是 胶体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2062-2062 |
Sauce 是 胶体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3432-3432 |
Soda 是 胶体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21625-21625 |
溶胶 是 胶体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3565-3565 |
Vinegar 是 胶体 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3145-3145 |
Whey 是 胶体 的 subclass |
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 |
|