Rough | ![]() |
appearance as argument number 1 |
![]() |
(documentation Rough ChineseLanguage "拥有这个 Attribute Object 的表面是粗躁的。") | chinese_format.kif 3967-3967 | |
(documentation Rough EnglishLanguage "An Object with this Attribute has a rough surface.") | Merge.kif 17960-17961 | |
(instance Rough TextureAttribute) | Merge.kif 17958-17958 | Rough は TextureAttribute の instance では |
appearance as argument number 2 |
![]() |
(contraryAttribute Smooth Rough) | Merge.kif 17959-17959 | Smooth は Rough の disjoint では |
(termFormat ChineseLanguage Rough "粗") | domainEnglishFormat.kif 50520-50520 | Smooth は Rough の disjoint では |
(termFormat ChineseTraditionalLanguage Rough "粗") | domainEnglishFormat.kif 50519-50519 | Smooth は Rough の disjoint では |
(termFormat EnglishLanguage Rough "rough") | domainEnglishFormat.kif 50518-50518 | Smooth は Rough の disjoint では |
consequent |
![]() |
(=> (and (instance ?P Roughening) (patient ?P ?OBJ)) (exists (?PART) (and (superficialPart ?PART ?OBJ) (holdsDuring (EndFn (WhenFn ?P)) (attribute ?PART Rough))))) |
Mid-level-ontology.kif 26898-26907 |
![]() |
![]() |