color - Sigma Knowledge base Browser

appearance as argument number 1

(domain color 1 Object)	Mid-level-ontology.kif 20930-20930
(domain color 2 ColorAttribute)	Mid-level-ontology.kif 20931-20931
(instance color BinaryPredicate)	Mid-level-ontology.kif 20927-20927
(subrelation color attribute)	Mid-level-ontology.kif 20929-20929

appearance as argument number 2

(format ChineseLanguage color "%1 是 %2 的 color ")	domainEnglishFormat.kif 3034-3034
(format ChineseTraditionalLanguage color "%1 是 %2 的 color ")	domainEnglishFormat.kif 3033-3033
(format EnglishLanguage color "%1 is the color %2")	domainEnglishFormat.kif 3032-3032
(termFormat EnglishLanguage color "color")	domainEnglishFormat.kif 65795-65795

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 3244-3264

consequent

(=> (and (instance ?ATTR ColorAttribute) (holdsDuring ?T1 (attribute ?OBJ ?ATTR))) (holdsDuring ?T1 (color ?OBJ ?ATTR)))	Mid-level-ontology.kif 20933-20939
(=> (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 Blackboard) (color ?OBJ Black))	Media.kif 1093-1095
(=> (instance ?OBJ Whiteboard) (color ?OBJ White))	Mid-level-ontology.kif 27529-27531