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 17741-17742
(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 17739-17739	颜色属性是视觉属性的 subclass

appearance as argument number 2

(instance Monochromatic ColorAttribute)	Merge.kif 17763-17763	单色是颜色属性的 instance
(instance Polychromatic ColorAttribute)	Merge.kif 17784-17784	多色是颜色属性的 instance
(subclass PrimaryColor ColorAttribute)	Merge.kif 17744-17744	原色是颜色属性的 subclass
(subclass SecondaryColor ColorAttribute)	Mid-level-ontology.kif 19402-19402	二等色是颜色属性的 subclass
(subclass SpectralColor ColorAttribute)	Mid-level-ontology.kif 19397-19397	光谱颜色是颜色属性的 subclass
(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 19387-19387

color 的 2 数量是颜色属性的 instance

antecedent

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

Mid-level-ontology.kif 19389-19395

如果实体是颜色属性的 instance 和那个实体是另一个实体的 attribute 在时间位置 holdsDuring，
然后那个另外实体是那个实体的 color 在那个时间位置 holdsDuring

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 12682-12696	如果过程是染色的 instance 和客体是那个过程的 patient，然后有存在实体和另一个客体这样那个另外客体是那个客体的 part 和那个实体是颜色属性的 instance 和那个实体是那个另外客体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和那个实体不是那个另外客体的 attribute 在那个过程出现的 time 的结束 holdsDuring 或那个实体不是那个另外客体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和那个实体是那个另外客体的 attribute 在那个过程出现的 time 的结束 holdsDuring
(=> (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	如果过程是放的 instance 和实体是那个过程的 patient 和那个实体是香料的 instance 和那个过程在客体结束和那个客体是已准备食物的 instance，然后有存在另一个过程和属性这样那个另外过程是内部变化的 instance 和那个客体是那个另外过程的 patient 和那个属性是那个另外过程的 result 和那个属性是那个客体的 attribute 和那个属性是 FlavourAttribute 的 instance 或那个属性是颜色属性的 instance
(=> (and (instance ?SEE Seeing) (agent ?SEE ?AGENT) (patient ?SEE ?OBJ)) (exists (?PROP) (and (instance ?PROP ColorAttribute) (knows ?AGENT (attribute ?OBJ ?PROP)))))	Merge.kif 13571-13579	如果过程是看的 instance 和有认知的主事是那个过程的 agent 和实体是那个过程的 patient，然后有存在另一个实体这样那个另外实体是颜色属性的 instance 和那个有认知的主事 knows 那个另外实体是那个实体的 attribute
(=> (and (instance ?SEE Seeing) (patient ?SEE ?OBJ)) (exists (?ATTR) (and (instance ?ATTR ColorAttribute) (holdsDuring (WhenFn ?SEE) (attribute ?OBJ ?ATTR)))))	Merge.kif 13588-13596	如果过程是看的 instance 和实体是那个过程的 patient，然后有存在另一个实体这样那个另外实体是颜色属性的 instance 和那个另外实体是那个实体的 attribute 在那个过程出现的 time holdsDuring
(=> (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 17789-17799	如果多色是客体的 attribute，然后有存在另一个客体，第三客体,，，属性， and 和另一个属性这样那个另外客体是那个客体的 superficialPart 和那个第三客体是那个客体的 superficialPart 和那个属性是那个另外客体的 attribute 和那个另外属性是那个第三客体的 attribute 和那个属性是颜色属性的 instance 和那个另外属性是颜色属性的 instance 和那个属性不 equal 那个另外属性

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: