Smooth | ![]() |
appearance as argument number 1 |
![]() |
(contraryAttribute Smooth Rough) | Merge.kif 17959-17959 | Smooth は Rough の disjoint では |
(documentation Smooth ChineseLanguage "拥有这个 Attribute Object 的表面是平滑的。") | chinese_format.kif 3966-3966 | Smooth は Rough の disjoint では |
(documentation Smooth EnglishLanguage "An Object with this Attribute has a smooth surface.") | Merge.kif 17955-17956 | Smooth は Rough の disjoint では |
(instance Smooth TextureAttribute) | Merge.kif 17954-17954 | Smooth は TextureAttribute の instance では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Smooth "平滑") | domainEnglishFormat.kif 53538-53538 | |
(termFormat ChineseTraditionalLanguage Smooth "平滑") | domainEnglishFormat.kif 53537-53537 | |
(termFormat EnglishLanguage Smooth "smooth") | domainEnglishFormat.kif 53536-53536 |
consequent |
![]() |
(=> (and (instance ?SMOOTH Smoothing) (patient ?SMOOTH ?OBJ)) (exists (?PART) (and (superficialPart ?PART ?OBJ) (holdsDuring (EndFn (WhenFn ?SMOOTH)) (attribute ?PART Smooth))))) |
Mid-level-ontology.kif 26882-26891 | |
(=> (instance ?G Rifle) (exists (?B ?P) (and (instance ?B GunBore) (properPart ?B ?G) (superficialPart ?P ?B) (orientation ?P ?B Inside) (not (attribute ?P Smooth))))) |
Mid-level-ontology.kif 1960-1969 | |
(=> (instance ?G Shotgun) (exists (?B ?P) (and (instance ?B GunBore) (properPart ?B ?G) (superficialPart ?P ?B) (orientation ?P ?B Inside) (attribute ?P Smooth)))) |
Mid-level-ontology.kif 1943-1951 |
![]() |
![]() |