color |
appearance as argument number 1 |
(domain color 1 Object) | Mid-level-ontology.kif 19359-19359 | color 的 1 数量 是 客体 的 instance |
(domain color 2 ColorAttribute) | Mid-level-ontology.kif 19360-19360 | color 的 2 数量 是 颜色属性 的 instance |
(instance color BinaryPredicate) | Mid-level-ontology.kif 19356-19356 | color 是 二元谓语 的 instance |
(subrelation color attribute) | Mid-level-ontology.kif 19358-19358 | color 是 属于 的 subrelation |
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 | |
(=> (instance ?OBJ Blackboard) (color ?OBJ Black)) |
Media.kif 1093-1095 | |
(=> (instance ?OBJ Whiteboard) (color ?OBJ White)) |
Mid-level-ontology.kif 25629-25631 |