Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Suspension(suspension)
|  | suspension |
| appearance as argument number 1 |
|
|
| (subclass Suspension LiquidMixture) | Merge.kif 15042-15042 | Suspension is a subclass of liquid mixture |
| (subclass Suspension GasMixture) | Merge.kif 15043-15043 | Suspension is a subclass of gas mixture |
| (documentation Suspension EnglishLanguage "A LiquidMixture where at least one of the components of the Mixture is equally distributed throughout the Mixture but is not dissolved in it.") | Merge.kif 15044-15046 | Suspension is a subclass of gas mixture |
| (externalImage Suspension "http://upload.wikimedia.org/wikipedia/commons/ d/ dd/ WaterAndFlourSuspensionLiquid.jpg") | pictureList.kif 2993-2993 | Suspension is a subclass of gas mixture |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (partition LiquidMixture Solution Suspension) | Merge.kif 15022-15022 | Liquid mixture is exhaustively partitioned into solution and suspension |
|