Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Blind(blindness)
|  | anopia, eyelessness |
| appearance as argument number 1 |
|
|
| (instance Blind VisualAcuityAttribute) | Mid-level-ontology.kif 21671-21671 | Blindness is an instance of visual acuity attribute |
| (instance Blind SensoryDisability) | Mid-level-ontology.kif 21672-21672 | Blindness is an instance of sensory disability |
| (documentation Blind EnglishLanguage "The Attribute that applies to Animals and Humans that are unable to see.") | Mid-level-ontology.kif 21673-21674 | Blindness is an instance of sensory disability |
| (externalImage Blind "http://upload.wikimedia.org/wikipedia/commons/e/e8/ Millais_Blind_Girl.jpg") | pictureList.kif 1662-1662 | Blindness is an instance of sensory disability |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?AGENT Blind) (not (capability Seeing agent ?AGENT))) |
Mid-level-ontology.kif 21676-21678 | If blindness is an attribute of X, then X is not capable of doing seeing as a agent |
| (=> (and (instance ?O OpeningEye) (agent ?O ?H) (instance ?H Human) (not (attribute ?H Blind))) (exists (?S ?R) (and (instance ?S Seeing) (agent ?S ?H) (patient ?S ?R) (instance ?R RadiatingVisibleLight) (during (WhenFn ?S) (WhenFn ?O))))) |
Mid-level-ontology.kif 22112-22127 | If X is an instance of opening eye, Y is an agent of X, Y is an instance of human, and blindness is not an attribute of Y, then there exist Z, W such that Z is an instance of seeing, Y is an agent of Z, W is a patient of Z, W is an instance of radiating visible light, and the time of existence of Z takes place during the time of existence of X |
| consequent |
|
|
| (=> (and (instance ?P Poison) (instance ?I Ingesting) (moves ?I ?P) (experiencer ?I ?H)) (modalAttribute (holdsDuring (FutureFn (WhenFn ?I)) (attribute ?H Blind)) Possibility)) |
Mid-level-ontology.kif 9983-9994 | If X is an instance of poison, Y is an instance of ingesting, X moves during Y, and Z experiences Y, then the statement blindness is an attribute of Z holds during after the time of existence of Y has the modal force of possibility |
| (=> (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 |
|