color |
appearance as argument number 1 |
(domain color 1 Object) | Mid-level-ontology.kif 19359-19359 | color の数値 1 引数は オブジェクト の instance では %n |
(domain color 2 ColorAttribute) | Mid-level-ontology.kif 19360-19360 | color の数値 2 引数は カラー属性 の instance では %n |
(instance color BinaryPredicate) | Mid-level-ontology.kif 19356-19356 | color は 2進述語 の instance では %n |
(subrelation color attribute) | Mid-level-ontology.kif 19358-19358 | color は attribute の subrelation では %n |
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 |