| Rigid | |
| appearance as argument number 1 |
|
|
| (contraryAttribute Rigid Pliable) | Merge.kif 17924-17924 | Rigid est l'oppos� de Pliable |
| (documentation Rigid ChineseLanguage "拥有这个 Attribute 的 Object，它的形状不可能在不把它 摔破的情况下受到改变。") | chinese_format.kif 3963-3964 | Rigid est l'oppos� de Pliable |
| (documentation Rigid EnglishLanguage "The shape of an Object with this Attribute cannot be altered without breaking.") | Merge.kif 17925-17926 | Rigid est l'oppos� de Pliable |
| (instance Rigid InternalAttribute) | Merge.kif 17923-17923 | Rigid est une instance de attribut interne |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Rigid "硬性") | domainEnglishFormat.kif 50028-50028 | |
| (termFormat ChineseTraditionalLanguage Rigid "硬性") | domainEnglishFormat.kif 50027-50027 | |
| (termFormat EnglishLanguage Rigid "rigid") | domainEnglishFormat.kif 50026-50026 |
| consequent |
|
|
| (=> (instance ?SPINE PlantSpinoseStructure) (and (attribute ?SPINE LongAndThin) (attribute ?SPINE Rigid))) |
Mid-level-ontology.kif 10910-10914 |
|
| (=> (instance ?WR WheelRim) (attribute ?WR Rigid)) |
Cars.kif 4872-4874 |
|
|
|