Solid
|
|
appearance as argument number 1 |
(contraryAttribute Solid Liquid Gas Plasma) | Merge.kif 17542-17542 | 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 17552-17553 | |
(instance Solid PhysicalState) | Merge.kif 17551-17551 | Solid is an instance of physical state |
appearance as argument number 2 |
antecedent |
consequent |