TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ColorAttribute ChineseLanguage "这是关于 Object 颜色 Attribute 的 Class。")	chinese_format.kif 3945-3946
(documentation ColorAttribute EnglishLanguage "The Class of Attributes relating to the color of Objects.")	Merge.kif 17684-17685
(externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ b/ b0/ CIExy1931.png")	pictureList.kif 9091-9091
(externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Colouring_pencils.jpg")	pictureList.kif 8428-8428
(externalImage ColorAttribute "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Spectrum441pxWithnm.png")	pictureList.kif 9092-9092
(subclass ColorAttribute VisualAttribute)	Merge.kif 17682-17682	Color attribute is a subclass of visual attribute

appearance as argument number 2

(instance Monochromatic ColorAttribute)	Merge.kif 17706-17706	Monochromatic is an instance of color attribute
(instance Polychromatic ColorAttribute)	Merge.kif 17727-17727	Polychromatic is an instance of color attribute
(subclass PrimaryColor ColorAttribute)	Merge.kif 17687-17687	Primary color is a subclass of color attribute
(subclass SecondaryColor ColorAttribute)	Mid-level-ontology.kif 19374-19374	Secondary color is a subclass of color attribute
(subclass SpectralColor ColorAttribute)	Mid-level-ontology.kif 19369-19369	Spectral color is a subclass of color attribute
(termFormat ChineseLanguage ColorAttribute "颜色属性")	chinese_format.kif 1252-1252
(termFormat EnglishLanguage ColorAttribute "color attribute")	english_format.kif 1725-1725
(termFormat FrenchLanguage ColorAttribute "attribut de couleur")	french_format.kif 930-930
(termFormat Hindi ColorAttribute "varNa visheshataa")	terms-hindi.txt 464-464
(termFormat ItalianLanguage ColorAttribute "AttributoDiColore")	terms-it.txt 467-467
(termFormat JapaneseLanguage ColorAttribute "カラー属性")	japanese_format.kif 2614-2614
(termFormat PortugueseLanguage ColorAttribute "Atributo de Cor")	portuguese_format.kif 882-882
(termFormat cb ColorAttribute "abuhong hiyas")	terms-cb.txt 469-469
(termFormat cz ColorAttribute "color attribute")	terms-cz.txt 503-503
(termFormat ro ColorAttribute "atribut de culoare")	relations-ro.kif 951-951
(termFormat tg ColorAttribute "katangian ng kulay")	terms-tg.txt 468-468

appearance as argument number 3

(domain color 2 ColorAttribute)

Mid-level-ontology.kif 19359-19359

The number 2 argument of color is an instance of color attribute

antecedent

(=>
    (and
        (instance ?ATTR ColorAttribute)
        (holdsDuring ?T1
            (attribute ?OBJ ?ATTR)))
    (holdsDuring ?T1
        (color ?OBJ ?ATTR)))

Mid-level-ontology.kif 19361-19367

If an entity is an instance of color attribute and the entity is an attribute of another entity holds during a time position,
then the other entity is the color the entity holds during the time position

consequent

(=> (and (instance ?COLORING Coloring) (patient ?COLORING ?OBJ)) (exists (?PROPERTY ?PART) (and (part ?PART ?OBJ) (instance ?PROPERTY ColorAttribute) (or (and (holdsDuring (BeginFn (WhenFn ?COLORING)) (attribute ?PART ?PROPERTY)) (holdsDuring (EndFn (WhenFn ?COLORING)) (not (attribute ?PART ?PROPERTY)))) (and (holdsDuring (BeginFn (WhenFn ?COLORING)) (not (attribute ?PART ?PROPERTY))) (holdsDuring (EndFn (WhenFn ?COLORING)) (attribute ?PART ?PROPERTY)))))))	Merge.kif 12658-12672	If a process is an instance of coloring and an object is a patient of the process, then there exist an entity and another object such that the other object is a part of the object and the entity is an instance of color attribute and the entity is an attribute of the other object holds during the beginning of the time of existence of the process and the entity is not an attribute of the other object holds during the end of the time of existence of the process or the entity is not an attribute of the other object holds during the beginning of the time of existence of the process and the entity is an attribute of the other object holds during the end of the time of existence of the process
(=> (and (instance ?P Putting) (patient ?P ?S) (instance ?S Spice) (destination ?P ?F) (instance ?F PreparedFood)) (exists (?C ?A) (and (instance ?C InternalChange) (patient ?C ?F) (result ?C ?A) (attribute ?F ?A) (or (instance ?A FlavourAttribute) (instance ?A ColorAttribute)))))	Economy.kif 4384-4399	If a process is an instance of putting and an entity is a patient of the process and the entity is an instance of spice and the process ends up at an object and the object is an instance of prepared food, then there exist another process and an attribute such that the other process is an instance of internal change and the object is a patient of the other process and the attribute is a result of the other process and the attribute is an attribute of the object and the attribute is an instance of flavour attribute or the attribute is an instance of color attribute
(=> (and (instance ?SEE Seeing) (agent ?SEE ?AGENT) (patient ?SEE ?OBJ)) (exists (?PROP) (and (instance ?PROP ColorAttribute) (knows ?AGENT (attribute ?OBJ ?PROP)))))	Merge.kif 13547-13555	If a process is an instance of seeing and a cognitive agent is an agent of the process and an entity is a patient of the process, then there exists another entity such that the other entity is an instance of color attribute and the cognitive agent knows the other entity is an attribute of the entity
(=> (and (instance ?SEE Seeing) (patient ?SEE ?OBJ)) (exists (?ATTR) (and (instance ?ATTR ColorAttribute) (holdsDuring (WhenFn ?SEE) (attribute ?OBJ ?ATTR)))))	Merge.kif 13564-13572	If a process is an instance of seeing and an entity is a patient of the process, then there exists another entity such that the other entity is an instance of color attribute and the other entity is an attribute of the entity holds during the time of existence of the process
(=> (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 17732-17742	If polychromatic is an attribute of an object, then there exist another object, a third object,, , an attribute and another attribute such that the other object is a superficial part of the object and the third object is a superficial part of the object and the attribute is an attribute of the other object and the other attribute is an attribute of the third object and the attribute is an instance of color attribute and the other attribute is an instance of color attribute and the attribute is not equal to the other attribute

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: