TreeView Knowledge Base Browser

appearance as argument number 2

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

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))))

If All of the following hold: (1) the visibility at X during Y is Z W(s) (2) W is an instance of unit of measure (3) Y is an instance of day time (4) V is an instance of looking (5) U is an instance of object (6) U is the color black (7) T is an agent of V (8) U is a patient of V (9) T is horizontal to to U (10) V is located at X (11) the time of existence of V takes place during Y (12) U is an instance of object, then there exists S such that the distance between T and U is S W(s) and Z is greater than S

consequent

(=> (and (instance ?ATTR ColorAttribute) (holdsDuring ?T1 (attribute ?OBJ ?ATTR))) (holdsDuring ?T1 (color ?OBJ ?ATTR)))	Mid-level-ontology.kif 21262-21268	If X is an instance of color attribute and X is an attribute of Y holds during Z, then Y is the color X holds during Z
(=> (instance ?OBJ Whiteboard) (color ?OBJ White))	Mid-level-ontology.kif 28197-28199	If X is an instance of whiteboard, then X is the color white
(=> (instance ?OBJ Blackboard) (color ?OBJ Black))	Media.kif 1038-1040	If X is an instance of blackboard, then X is the color black
(=> (and (instance ?L Laser) (instance ?R RadiatingVisibleLight) (instrument ?R ?L) (patient ?R ?X) (instance ?X Region)) (color ?X Monochromatic))	engineering.kif 1137-1144	If X is an instance of laser, Y is an instance of radiating visible light, X is an instrument for Y, Z is a patient of Y, and Z is an instance of region, then Z is the color monochromatic