Miscible
|
|
appearance as argument number 1 |
(contraryAttribute Miscible Immiscible) | Mid-level-ontology.kif 21607-21607 | Miscible wird Immiscible entgegengesetzet %n{nicht} |
(documentation Miscible EnglishLanguage "Miscible describes a state when two Substances can mix in all proportions, forming a homogeneous &Mixture often in the form of LiquidMixture.") | Mid-level-ontology.kif 21593-21594 | |
(instance Miscible InternalAttribute) | Mid-level-ontology.kif 21595-21595 | Miscible ist ein fall von InternalAttribute %n{nicht} |
appearance as argument number 2 |
(termFormat ChineseLanguage Miscible "混溶的") | domainEnglishFormat.kif 38021-38021 | |
(termFormat ChineseTraditionalLanguage Miscible "混溶的") | domainEnglishFormat.kif 38020-38020 | |
(termFormat EnglishLanguage Miscible "miscible") | domainEnglishFormat.kif 38019-38019 |
antecedent |
(=> (and (instance ?L LiquidMixture) (attribute ?L Miscible) (equal ?L ?X)) (instance ?X Solution)) |
Mid-level-ontology.kif 21597-21602 |