Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SnellenChart(Snellen chart) |
| appearance as argument number 1 |
|
| (subclass SnellenChart MeasuringDevice) | Medicine.kif 1683-1683 | Snellen chart is a subclass of measuring device |
| (documentation SnellenChart EnglishLanguage "A chart of letters, that appear random, used for measuring visual acuity.") | Medicine.kif 1684-1685 | Snellen chart is a subclass of measuring device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SnellenChart "Snellen chart") | Medicine.kif 1686-1686 |
| consequent |
|
|
| (=> (visualAcuity ?H1 ?I1 ?I2) (exists (?S ?L) (and (instance ?S SnellenChart) (instance ?L Looking) (destination ?L ?S) (agent ?L ?H1)))) |
Medicine.kif 1710-1717 | If X has Y/Z eyesight, then there exist W, V such that W is an instance of Snellen chart, V is an instance of looking, V ends up at W, and X is an agent of V |
|