Solid
|
|
appearance as argument number 1 |
(contraryAttribute Solid Liquid Gas Plasma) | Merge.kif 17564-17564 | Solid is the opposite of liquid |
(documentation Solid ChineseLanguage "这是如果一个 Object 的形状和体积都是固定的话,它的 Attribute 便是属于 Solid。") | chinese_format.kif 3924-3925 | |
(documentation Solid EnglishLanguage "An Object has the Attribute of Solid if it has a fixed shape and a fixed volume.") | Merge.kif 17574-17575 | |
(instance Solid PhysicalState) | Merge.kif 17573-17573 | Solid is an instance of physical state |
appearance as argument number 2 |
antecedent |
consequent |