| Braille | | braille |
| appearance as argument number 1 |
|
|
| s__documentation(s__Braille,s__EnglishLanguage,'Braille is an Attribute that describes ContentBearingObject that can be interpreted by a Blind Human') | Dining.kif 238-239 | |
| s__instance(s__PerceptualAttribute,s__SetOrClass)
|
Dining.kif 237-237 |
| antecedent |
|
|
| ( ! [V__X] : ((s__instance(V__X,s__ContentBearingObject) & s__attribute(V__X,s__Braille)) => (? [V__H] : (s__instance(V__H,s__Human) & s__attribute(V__H,s__Blind) & s__capability(s__Interpreting,s__agent__m,V__H) & s__capability(s__Interpreting,s__patient__m,V__X)))) )
|
Dining.kif 247-256 | |
| ( ! [V__X] : (s__attribute(V__X,s__Braille) => s__instance(V__X,s__ContentBearingObject)) )
|
Dining.kif 241-243 |
|
|
|