color |
appearance as argument number 1 |
![]() |
(domain color 1 Object) | Mid-level-ontology.kif 19358-19358 | 域 color, 1 and Object |
(domain color 2 ColorAttribute) | Mid-level-ontology.kif 19359-19359 | 域 color, 2 and ColorAttribute |
(instance color BinaryPredicate) | Mid-level-ontology.kif 19355-19355 | 例 color and BinaryPredicate |
(subrelation color attribute) | Mid-level-ontology.kif 19357-19357 | 子關係 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 2724-2744 |
|
consequent |
![]() |
(=> (and (instance ?ATTR ColorAttribute) (holdsDuring ?T1 (attribute ?OBJ ?ATTR))) (holdsDuring ?T1 (color ?OBJ ?ATTR))) |
Mid-level-ontology.kif 19361-19367 |
|
(=> (instance ?OBJ Blackboard) (color ?OBJ Black)) |
Media.kif 1093-1095 | |
(=> (instance ?OBJ Whiteboard) (color ?OBJ White)) |
Mid-level-ontology.kif 25617-25619 |
![]() |
![]() |