Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Polychromatic(polychromatic) |  | banded, bichrome, bicolor, bicolored, bicolour, bicoloured, blotched, blotchy, brinded, brindle, brindled, calico, checked, checkered, chequered, dappled, dichromatic, dotted, flecked, motley, mottled, multi-color, multi-colored, multi-colour, multi-coloured, multicolor, multicolored, multicolour, multicoloured, painted, particolored, particoloured, patterned, piebald, pied, polychromatic, polychrome, polychromic, specked, speckled, splotched, stippled, tabby, trichromatic, trichrome, tricolor, varicolored, varicoloured, variegated |
| appearance as argument number 1 |
|
|
| (instance Polychromatic ColorAttribute) | Merge.kif 18062-18062 | Polychromatic is an instance of color attribute |
| (contraryAttribute Polychromatic Monochromatic) | Merge.kif 18063-18063 | Polychromatic is the opposite of monochromatic |
| (documentation Polychromatic EnglishLanguage "An Object with this Attribute has different colors on different parts of its surface.") | Merge.kif 18064-18065 | Polychromatic is the opposite of monochromatic |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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))))) |
Merge.kif 18067-18077 | If polychromatic is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is a superficial part of X (3) Z is a superficial part of X (4) W is an attribute of Y (5) V is an attribute of Z (6) W is an instance of color attribute (7) V is an instance of color attribute (8) equal W (9) V |
| consequent |
|
|
| (=> (instance ?OBJ Object) (or (attribute ?OBJ Monochromatic) (attribute ?OBJ Polychromatic))) |
Merge.kif 18056-18060 | If X is an instance of object, then monochromatic is an attribute of X or polychromatic is an attribute of X |
|