| appearance as argument number 1 |
|
| (documentation visualAcuity EnglishLanguage "A Measuring of visual acuity stated as a ratio. The ratio is of at how many feet the subject can see the same information as a normal person. For an example of someone with slightly impaired vision, 20/ 40 vision means that the subject has to be at 20 feet to see what a 'normal' person would be able to see at 40 feet.") | Medicine.kif 1711-1716 | |
| (domain visualAcuity 1 Human) | Medicine.kif 1705-1705 | Le nombre 1 argument de visualAcuity est une instance de humain |
| (domain visualAcuity 2 Integer) | Medicine.kif 1706-1706 | Le nombre 2 argument de visualAcuity est une instance de nombre entier |
| (domain visualAcuity 3 Integer) | Medicine.kif 1707-1707 | Le nombre 3 argument de visualAcuity est une instance de nombre entier |
| (instance visualAcuity TernaryPredicate) | Medicine.kif 1704-1704 | visualAcuity est une instance de pr�dicat ternaire |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage visualAcuity "%1 has %2/%3 eyesight") | Medicine.kif 1709-1709 | |
| (termFormat EnglishLanguage visualAcuity "visual acuity") | Medicine.kif 1708-1708 |
| antecedent |
|
|
| (=> (visualAcuity ?H1 ?I1 ?I2) (exists (?H2) (and (not (attribute ?H2 (ImpairedBodyPartFn Eye))) (visualAcuity ?H2 ?I2 ?I2)))) |
Medicine.kif 1718-1724 | |
| (=> (visualAcuity ?H1 ?I1 ?I2) (exists (?S ?L) (and (instance ?S SnellenChart) (instance ?L Looking) (destination ?L ?S) (agent ?L ?H1)))) |
Medicine.kif 1726-1733 |
|
| consequent |
|
|
| (=> (visualAcuity ?H1 ?I1 ?I2) (exists (?H2) (and (not (attribute ?H2 (ImpairedBodyPartFn Eye))) (visualAcuity ?H2 ?I2 ?I2)))) |
Medicine.kif 1718-1724 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners