Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| color |
| appearance as argument number 1 |
|
| (instance color BinaryPredicate) | Mid-level-ontology.kif 21254-21254 | color is an instance of binary predicate |
| (documentation color EnglishLanguage "A relation between an object and the ColorAttribute which it visibly appears") | Mid-level-ontology.kif 21255-21256 | color is an instance of binary predicate |
| (subrelation color attribute) | Mid-level-ontology.kif 21258-21258 | color is a subrelation of attribute |
| (domain color 1 Object) | Mid-level-ontology.kif 21259-21259 | The number 1 argument of color is an instance of object |
| (domain color 2 ColorAttribute) | Mid-level-ontology.kif 21260-21260 | The number 2 argument of color is an instance of color attribute |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage color "%1 is the color %2") | domainEnglishFormat.kif 3032-3032 | |
| (format ChineseTraditionalLanguage color "%1 是 %2 的 color ") | domainEnglishFormat.kif 3033-3033 | |
| (format ChineseLanguage color "%1 是 %2 的 color ") | domainEnglishFormat.kif 3034-3034 | |
| (termFormat EnglishLanguage color "color") | domainEnglishFormat.kif 65804-65804 |
| 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 3995-4015 | If All of the following hold: (1) the visibility at X during Y is Z W(s) (2) W is an instance of unit of measure (3) Y is an instance of day time (4) V is an instance of looking (5) U is an instance of object (6) U is the color black (7) T is an agent of V (8) U is a patient of V (9) T is horizontal to to U (10) V is located at X (11) the time of existence of V takes place during Y (12) U is an instance of object, then there exists S such that the distance between T and U is S W(s) and Z is greater than S |
| consequent |
|
|
| (=> (and (instance ?ATTR ColorAttribute) (holdsDuring ?T1 (attribute ?OBJ ?ATTR))) (holdsDuring ?T1 (color ?OBJ ?ATTR))) |
Mid-level-ontology.kif 21262-21268 | If X is an instance of color attribute and X is an attribute of Y holds during Z, then Y is the color X holds during Z |
| (=> (instance ?OBJ Whiteboard) (color ?OBJ White)) |
Mid-level-ontology.kif 28197-28199 | If X is an instance of whiteboard, then X is the color white |
| (=> (instance ?OBJ Blackboard) (color ?OBJ Black)) |
Media.kif 1038-1040 | If X is an instance of blackboard, then X is the color black |
| (=> (and (instance ?L Laser) (instance ?R RadiatingVisibleLight) (instrument ?R ?L) (patient ?R ?X) (instance ?X Region)) (color ?X Monochromatic)) |
engineering.kif 1137-1144 | If X is an instance of laser, Y is an instance of radiating visible light, X is an instrument for Y, Z is a patient of Y, and Z is an instance of region, then Z is the color monochromatic |
|