Rigid - Sigma Knowledge base Browser

appearance as argument number 1

(contraryAttribute Rigid Pliable)	Merge.kif 16581-16581
(documentation Rigid ChineseLanguage "拥有这个 Attribute 的 Object，它的形状不可能在不把它摔破的情况下受到改变。")	chinese_format.kif 3963-3964
(documentation Rigid EnglishLanguage "The shape of an Object with this Attribute cannot be altered without breaking.")	Merge.kif 16582-16583
(instance Rigid InternalAttribute)	Merge.kif 16580-16580

appearance as argument number 2

(termFormat ChineseLanguage Rigid "硬性")	domainEnglishFormat.kif 50018-50018
(termFormat ChineseTraditionalLanguage Rigid "硬性")	domainEnglishFormat.kif 50017-50017
(termFormat EnglishLanguage Rigid "rigid")	domainEnglishFormat.kif 50016-50016

consequent

(=>
(instance ?WR WheelRim)
(attribute ?WR Rigid))

Cars.kif 4792-4794