| Monochromatic
| |
| appearance as argument number 1 |
|
|
| (documentation Monochromatic ChineseLanguage "拥有这个 Attribute 的 Object，它表面每一个 部分的颜色都是相同的。") | chinese_format.kif 3954-3955 | |
| (documentation Monochromatic EnglishLanguage "An Object with this Attribute has the same color on every part of its surface.") | Merge.kif 17868-17869 | |
| (externalImage Monochromatic "http://upload.wikimedia.org/wikipedia/en/3/ 33/ Neighborhood_watch_bw.png") | pictureList.kif 2258-2258 | |
| (instance Monochromatic ColorAttribute) | Merge.kif 17867-17867 | Monochromatic は カラー属性 の instance では |
| appearance as argument number 2 |
|
|
| (contraryAttribute Polychromatic Monochromatic) | Merge.kif 17889-17889 | Polychromatic は Monochromatic の disjoint では |
| (termFormat ChineseLanguage Monochromatic "单色") | domainEnglishFormat.kif 38468-38468 | Polychromatic は Monochromatic の disjoint では |
| (termFormat ChineseTraditionalLanguage Monochromatic "單色") | domainEnglishFormat.kif 38467-38467 | Polychromatic は Monochromatic の disjoint では |
| (termFormat EnglishLanguage Monochromatic "monochromatic") | domainEnglishFormat.kif 38466-38466 | Polychromatic は Monochromatic の disjoint では |
| antecedent |
|
|
| (=> (and (attribute ?OBJ Monochromatic) (superficialPart ?PART ?OBJ) (attribute ?PART ?COLOR) (instance ?COLOR PrimaryColor)) (forall (?ELEMENT) (=> (superficialPart ?ELEMENT ?OBJ) (attribute ?ELEMENT ?COLOR)))) |
Merge.kif 17871-17880 |
| consequent |
|
|
| (=> (and (instance ?L Laser) (instance ?R RadiatingVisibleLight) (instrument ?R ?L) (patient ?R ?X) (instance ?X Region)) (color ?X Monochromatic)) |
engineering.kif 1050-1057 | |
| (=> (instance ?OBJ Object) (or (attribute ?OBJ Monochromatic) (attribute ?OBJ Polychromatic))) |
Merge.kif 17882-17886 |
|
|
|
|