Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Braille(braille) |  | braille |
| appearance as argument number 1 |
|
|
| (instance Braille PerceptualAttribute) | Dining.kif 236-236 | Braille is an instance of perceptual attribute |
| (documentation Braille EnglishLanguage "Braille is an Attribute that describes ContentBearingObject that can be interpreted by a Blind Human") | Dining.kif 237-238 | Braille is an instance of perceptual attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Braille "braille") | domainEnglishFormat.kif 64564-64564 |
| antecedent |
|
|
| (=> (attribute ?X Braille) (instance ?X ContentBearingObject)) |
Dining.kif 240-242 | If braille is an attribute of X, then X is an instance of content bearing object |
| (=> (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 | If X is an instance of content bearing object and braille is an attribute of X, then there exists Y such that Y is an instance of human, blindness is an attribute of Y, Y is capable of doing interpreting as a agent, and X is capable of doing interpreting as a patient |
|