| Braille(braille) | | braille |
| appearance as argument number 1 |
|
|
| (documentation Braille EnglishLanguage "Braille is an Attribute that describes ContentBearingObject that can be interpreted by a Blind Human") | Dining.kif 237-238 | |
| (instance Braille PerceptualAttribute) | Dining.kif 236-236 | Braille is an instance of perceptual attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Braille "braille") | domainEnglishFormat.kif 64609-64609 |
| antecedent |
|
|
| (=> (and (instance ?X ContentBearingObject) (attribute ?X Braille)) (exists (?H) (and (instance ?H Human) (attribute ?H Blind) (capability Interpreting agent ?H) (capability Interpreting patient ?X)))) |
Dining.kif 244-253 |
|
| (=> (attribute ?X Braille) (instance ?X ContentBearingObject)) |
Dining.kif 240-242 |
|
|
|
|