Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Miscible(miscible) |
| appearance as argument number 1 |
|
| (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 23867-23868 | |
| (instance Miscible InternalAttribute) | Mid-level-ontology.kif 23869-23869 | Miscible is an instance of internal attribute |
| (contraryAttribute Miscible Immiscible) | Mid-level-ontology.kif 23881-23881 | Miscible is the opposite of immiscible |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?L LiquidMixture) (attribute ?L Miscible) (equal ?L ?X)) (instance ?X Solution)) |
Mid-level-ontology.kif 23871-23876 | If X is an instance of liquid mixture, miscible is an attribute of X, and equal X and Y, then Y is an instance of solution |
|