Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Translucent
|
|
|
| appearance as argument number 1 |
|
|
| (instance Translucent VisualAttribute) | Mid-level-ontology.kif 16710-16710 | Translucent is an instance of visual attribute |
| (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 16712-16713 | Translucent is an instance of visual attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Translucent "translucent") | Mid-level-ontology.kif 16711-16711 |
| antecedent |
|
|
| (=> (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 16715-16725 | If translucent is an attribute of X, then the statement there don't exist Y, Z, W such that Y is an instance of seeing, Z is an agent of Y, Y ends up at W, Z is between X, and W has the modal force of likely |
| (=> (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 16727-16739 | If translucent is an attribute of X, then All of the following hold: (1) the statement there exist Y, Z (2) W such that Y is an instance of radiating light (3) Z is a resource for Y (4) Y ends up at W (5) X is between Z (6) W (7) illuminated is an attribute of W holds during the time of existence of Y has the modal force of possibility |
| consequent |
|
|
| (=> (instance ?S SoupStock) (attribute ?S Translucent)) |
Food.kif 1627-1629 | If X is an instance of soup stock, then translucent is an attribute of X |
|