color |
appearance as argument number 1 |
(domain color 1 Object) | Mid-level-ontology.kif 19359-19359 | 域 color, 1 and Object |
(domain color 2 ColorAttribute) | Mid-level-ontology.kif 19360-19360 | 域 color, 2 and ColorAttribute |
(instance color BinaryPredicate) | Mid-level-ontology.kif 19356-19356 | 例 color and BinaryPredicate |
(subrelation color attribute) | Mid-level-ontology.kif 19358-19358 | 子關係 color and 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 |
|
(=> (instance ?OBJ Blackboard) (color ?OBJ Black)) |
Media.kif 1093-1095 | |
(=> (instance ?OBJ Whiteboard) (color ?OBJ White)) |
Mid-level-ontology.kif 25629-25631 |