Rigid |
appearance as argument number 1 |
(contraryAttribute Rigid Pliable) | Merge.kif 17756-17756 | |
(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 17757-17758 | |
(instance Rigid InternalAttribute) | Merge.kif 17755-17755 |
appearance as argument number 2 |
(termFormat ChineseLanguage Rigid "硬性") | domainEnglishFormat.kif 50024-50024 | |
(termFormat ChineseTraditionalLanguage Rigid "硬性") | domainEnglishFormat.kif 50023-50023 | |
(termFormat EnglishLanguage Rigid "rigid") | domainEnglishFormat.kif 50022-50022 |
consequent |
(=> (instance ?SPINE PlantSpinoseStructure) (and (attribute ?SPINE LongAndThin) (attribute ?SPINE Rigid))) |
Mid-level-ontology.kif 9581-9585 | |
(=> (instance ?WR WheelRim) (attribute ?WR Rigid)) |
Cars.kif 4811-4813 |