TreeView Knowledge Base Browser

appearance as argument number 1

(domain color 1 Object)	Mid-level-ontology.kif 19359-19359	O argumento numero 1 de color e' uma instancia de Objeto
(domain color 2 ColorAttribute)	Mid-level-ontology.kif 19360-19360	O argumento numero 2 de color e' uma instancia de Atributo de Cor
(instance color BinaryPredicate)	Mid-level-ontology.kif 19356-19356	color e' uma instancia de Predicado Binario
(subrelation color attribute)	Mid-level-ontology.kif 19358-19358	color e' uma sub-relacao de 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 2728-2748

consequent

(=> (and (instance ?ATTR ColorAttribute) (holdsDuring ?T1 (attribute ?OBJ ?ATTR))) (holdsDuring ?T1 (color ?OBJ ?ATTR)))	Mid-level-ontology.kif 19362-19368	Entidade e' uma instancia de Atributo de Cor Entidade e' um atributo de Entidade vale durante Posicao Temporal color Entidade and Entidade vale durante Posicao Temporal
(=> (instance ?OBJ Blackboard) (color ?OBJ Black))	Media.kif 1093-1095	Objeto e' uma instancia de Blackboard color Objeto and Black
(=> (instance ?OBJ Whiteboard) (color ?OBJ White))	Mid-level-ontology.kif 25629-25631	Objeto e' uma instancia de Whiteboard color Objeto and White