|
|
  Miscible
|
|
|
| appearance as argument number 1 |
|
|
| (contraryAttribute Miscible Immiscible) | Mid-level-ontology.kif 21606-21606 | 相反的屬性 混溶的 and 不混溶 |
| (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 21592-21593 | |
| (instance Miscible InternalAttribute) | Mid-level-ontology.kif 21594-21594 | 例 混溶的 and InternalAttribute |
| 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 21596-21601 |
|
|
|