color - Sigma Knowledge base Browser

appearance as argument number 1

(domain color 1 Object)	Mid-level-ontology.kif 19358-19358	The number 1 argument of color is an instance of object
(domain color 2 ColorAttribute)	Mid-level-ontology.kif 19359-19359	The number 2 argument of color is an instance of color attribute
(instance color BinaryPredicate)	Mid-level-ontology.kif 19355-19355	color is an instance of binary predicate
(subrelation color attribute)	Mid-level-ontology.kif 19357-19357	color is a subrelation of attribute

appearance as argument number 2

(format ChineseLanguage color "%1 是 %2 的 color ")	domainEnglishFormat.kif 3038-3038
(format ChineseTraditionalLanguage color "%1 是 %2 的 color ")	domainEnglishFormat.kif 3037-3037
(format EnglishLanguage color "%1 is the color %2")	domainEnglishFormat.kif 3036-3036
(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 2724-2744

consequent

(=> (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
(=> (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 25617-25619	If an object is an instance of whiteboard, then the object is the color white