Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Immiscible(immiscible) |
| appearance as argument number 1 |
|
| (documentation Immiscible EnglishLanguage "Contrary to Miscible, Immiscible is the state when there are certain proportions in which the Mixture does not form a Solution.") | Mid-level-ontology.kif 23878-23879 | |
| (instance Immiscible InternalAttribute) | Mid-level-ontology.kif 23880-23880 | Immiscible is an instance of internal attribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Miscible Immiscible) | Mid-level-ontology.kif 23881-23881 | Miscible is the opposite of immiscible |
| (termFormat EnglishLanguage Immiscible "immiscible") | domainEnglishFormat.kif 29393-29393 | Miscible is the opposite of immiscible |
| (termFormat ChineseTraditionalLanguage Immiscible "不混溶") | domainEnglishFormat.kif 29394-29394 | Miscible is the opposite of immiscible |
| (termFormat ChineseLanguage Immiscible "不混溶") | domainEnglishFormat.kif 29395-29395 | Miscible is the opposite of immiscible |
| antecedent |
|
|
| (=> (and (instance ?L LiquidMixture) (attribute ?L Immiscible) (equal ?L ?X)) (instance ?X Emulsion)) |
Mid-level-ontology.kif 23860-23865 | If X is an instance of liquid mixture, immiscible is an attribute of X, and equal X and Y, then Y is an instance of emulsion |
|