| Translucent | |
| appearance as argument number 1 |
|
|
| (documentation Translucent EnglishLanguage "A Translucent material admits light is one through which it is possible to transmit light but not through which is likely to be Seeing.") | Mid-level-ontology.kif 16518-16519 | |
| (instance Translucent VisualAttribute) | Mid-level-ontology.kif 16516-16516 | Translucent は 視覚的属性 の instance では %n |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Translucent "translucent") | Mid-level-ontology.kif 16517-16517 |
| antecedent |
|
|
| (=> (attribute ?O Translucent) (modalAttribute (exists (?EMIT ?S ?OBJ) (and (instance ?EMIT RadiatingLight) (resource ?EMIT ?S) (destination ?EMIT ?OBJ) (between ?S ?O ?OBJ) (holdsDuring (WhenFn ?EMIT) (attribute ?OBJ Illuminated)))) Possibility)) |
Mid-level-ontology.kif 16533-16545 |
|
| (=> (attribute ?O Translucent) (modalAttribute (not (exists (?S ?A ?D) (and (instance ?S Seeing) (agent ?S ?A) (destination ?S ?D) (between ?O ?A ?D)))) Likely)) |
Mid-level-ontology.kif 16521-16531 |
| consequent |
|
|
| (=> (instance ?S SoupStock) (attribute ?S Translucent)) |
Food.kif 1641-1643 |
|
|
|