color - Sigma Knowledge base Browser

appearance as argument number 1

(domain color 1 Object)	Mid-level-ontology.kif 19617-19617	The number 1 argument of color is an instance of object
(domain color 2 ColorAttribute)	Mid-level-ontology.kif 19618-19618	The number 2 argument of color is an instance of color attribute
(instance color BinaryPredicate)	Mid-level-ontology.kif 19614-19614	color is an instance of binary predicate
(subrelation color attribute)	Mid-level-ontology.kif 19616-19616	color is a subrelation of attribute

appearance as argument number 2

(format ChineseLanguage color "%1 是 %2 的 color ")	domainEnglishFormat.kif 3030-3030
(format ChineseTraditionalLanguage color "%1 是 %2 的 color ")	domainEnglishFormat.kif 3029-3029
(format EnglishLanguage color "%1 is the color %2")	domainEnglishFormat.kif 3028-3028
(termFormat EnglishLanguage color "color")	domainEnglishFormat.kif 65826-65826

antecedent

(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure)
        (instance ?Time DayTime)
        (instance ?Observe Looking)
        (instance ?B Object)
        (color ?B Black)
        (agent ?Observe ?A)
        (patient ?Observe ?B)
        (orientation ?A ?B Horizontal)
        (eventLocated ?Observe ?Area)
        (during
            (WhenFn ?Observe) ?Time)
        (instance ?B Object))
    (exists (?D2)
        (and
            (distance ?A ?B
                (MeasureFn ?D2 ?U))
            (greaterThan ?Distance ?D2))))

Weather.kif 2711-2731

consequent

(=> (and (instance ?ATTR ColorAttribute) (holdsDuring ?T1 (attribute ?OBJ ?ATTR))) (holdsDuring ?T1 (color ?OBJ ?ATTR)))	Mid-level-ontology.kif 19620-19626	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
(=> (and (instance ?L Laser) (instance ?R RadiatingVisibleLight) (instrument ?R ?L) (patient ?R ?X) (instance ?X Region)) (color ?X Monochromatic))	engineering.kif 1051-1058	If an object is an instance of laser and a process is an instance of radiating visible light and the object is an instrument for the process and another object is a patient of the process and the other object is an instance of region, then the other object is the color monochromatic
(=> (instance ?OBJ Blackboard) (color ?OBJ Black))	Media.kif 1093-1095	If an object is an instance of blackboard, then the object is the color black
(=> (instance ?OBJ Whiteboard) (color ?OBJ White))	Mid-level-ontology.kif 25893-25895	If an object is an instance of whiteboard, then the object is the color white