TreeView Knowledge Base Browser

appearance as argument number 1

(instance Black PrimaryColor)	Merge.kif 18038-18038	Black is an instance of primary color
(documentation Black EnglishLanguage "The Attribute of being black in color.")	Merge.kif 18039-18039	Black is an instance of primary color
(externalImage Black "http://upload.wikimedia.org/wikipedia/commons/1/15/ Cat_Russian_Blue_004.jpg")	pictureList.kif 1661-1661	Black is an instance of primary color

appearance as argument number 2

(termFormat EnglishLanguage Black "black")	domainEnglishFormat.kif 11267-11267
(termFormat ChineseTraditionalLanguage Black "黑色")	domainEnglishFormat.kif 11268-11268
(termFormat ChineseLanguage Black "黑色")	domainEnglishFormat.kif 11269-11269

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

(=> (instance ?T Oqal) (attribute ?T Black))	ArabicCulture.kif 415-417	If X is an instance of oqal, then black is an attribute of X
(=> (instance ?T Niqab) (exists (?P) (and (part ?P ?T) (attribute ?P Black))))	ArabicCulture.kif 462-467	If X is an instance of niqab, then there exists Y such that Y is a part of X and black is an attribute of Y
(=> (instance ?T Khimar) (exists (?P) (and (part ?P ?T) (attribute ?P Black))))	ArabicCulture.kif 481-486	If X is an instance of khimar, then there exists Y such that Y is a part of X and black is an attribute of Y
(=> (instance ?T Abayah) (attribute ?T Black))	ArabicCulture.kif 528-530	If X is an instance of abayah, then black is an attribute of X
(=> (instance ?OBJ Blackboard) (color ?OBJ Black))	Media.kif 1038-1040	If X is an instance of blackboard, then X is the color black