color |
appearance as argument number 1 |
(domain color 1 Object) | Mid-level-ontology.kif 19386-19386 | |
(domain color 2 ColorAttribute) | Mid-level-ontology.kif 19387-19387 | |
(instance color BinaryPredicate) | Mid-level-ontology.kif 19383-19383 | |
(subrelation color attribute) | Mid-level-ontology.kif 19385-19385 |
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 65797-65797 |
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 2711-2731 |
consequent |
(=> (and (instance ?ATTR ColorAttribute) (holdsDuring ?T1 (attribute ?OBJ ?ATTR))) (holdsDuring ?T1 (color ?OBJ ?ATTR))) |
Mid-level-ontology.kif 19389-19395 | |
(=> (instance ?OBJ Blackboard) (color ?OBJ Black)) |
Media.kif 1093-1095 | |
(=> (instance ?OBJ Whiteboard) (color ?OBJ White)) |
Mid-level-ontology.kif 25662-25664 |