|
|
  Transparent
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?O Transparent) (modalAttribute (exists (?S ?A ?D) (and (instance ?S Seeing) (agent ?S ?A) (destination ?S ?D) (between ?O ?A ?D))) Possibility)) |
Mid-level-ontology.kif 16699-16708 | If transparent is an attribute of X, then the statement there 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 possibility |
| consequent |
|
|
| (=> (instance ?C Cornea) (attribute ?C Transparent)) |
Mid-level-ontology.kif 13649-13651 | If X is an instance of cornea, then transparent is an attribute of X |
| (=> (instance ?W Window) (attribute ?W Transparent)) |
Mid-level-ontology.kif 16761-16763 | If X is an instance of window, then transparent is an attribute of X |
| (=> (instance ?X Solarium) (exists (?WALL) (and (instance ?WALL Wall) (part ?WALL ?X) (attribute ?WALL Transparent)))) |
Mid-level-ontology.kif 29349-29355 | If X is an instance of solarium, then there exists Y such that Y is an instance of wall, Y is a part of X, and transparent is an attribute of Y |
| (=> (instance ?OBJ Transparency) (attribute ?OBJ Transparent)) |
Media.kif 1055-1057 | If X is an instance of transparency, then transparent is an attribute of X |
|
