yan2 se4 shu3 xing4 (ColorAttribute)
The Class of VisualAttributes
relating to the color of Objects.
Ontology
SUMO / QUALITIESSuperclass(es)
Instance(s)
dan1 se4 de5
duo1 cai3 de5
Subclass(es)
yuan2 se4
Related WordNet synsets
- color property
- an attribute of color
- chromatic, colored
- being or having or characterized by hue
- chromatically
- with respect to color; "chromatically pure"
See more related synsets on a separate page.
Axioms (3)
If coloring shi4 zhu4 se4 de5 shi2 li4 and obj shi4 coloring de5 shou4 shi4 zhe3, then there exists yan2 se4 shu3 xing4 property so_that_not property shi4 obj de5 shu3 xing4 ""coloring cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "coloring cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and property shi4 obj de5 shu3 xing4 ""coloring cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "coloring cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.
(=>
(and
(instance ?COLORING Coloring)
(patient ?COLORING ?OBJ))
(exists
(?PROPERTY)
(and
(instance ?PROPERTY ColorAttribute)
(holdsDuring
(ImmediatePastFn
(WhenFn ?COLORING))
(attribute ?OBJ ?PROPERTY))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?COLORING))
(not
(attribute ?OBJ ?PROPERTY))))))
If see shi4 kan4 de5 shi2 li4 and see shi4 agent de5 shi1 shi4 zhe3 and obj shi4 see de5 shou4 shi4 zhe3, then
(=>
(and
(instance ?SEE Seeing)
(agent ?SEE ?AGENT)
(patient ?SEE ?OBJ))
(and
(attribute ?OBJ Illuminated)
(exists
(?PROP)
(and
(instance ?PROP ColorAttribute)
(knows
?AGENT
(attribute ?OBJ ?PROP))))))
If duo1 cai3 de5 shi4 obj de5 shu3 xing4, then there exist part1,part2,yan2 se4 shu3 xing4 color1,yan2 se4 shu3 xing4 color2 so_that_not part1 shi4 objde5 wai4 biao3 bu4 fen5 and part2 shi4 objde5 wai4 biao3 bu4 fen5 and color1 shi4 part1 de5 shu3 xing4 and color2 shi4 part2 de5 shu3 xing4 and color1 deng3 yu1 color2.
(=>
(attribute ?OBJ Polychromatic)
(exists
(?PART1 ?PART2 ?COLOR1 ?COLOR2)
(and
(superficialPart ?PART1 ?OBJ)
(superficialPart ?PART2 ?OBJ)
(attribute ?PART1 ?COLOR1)
(attribute ?PART2 ?COLOR2)
(instance ?COLOR1 ColorAttribute)
(instance ?COLOR2 ColorAttribute)
(not
(equal ?COLOR1 ?COLOR2)))))