SnellenChart - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SnellenChart EnglishLanguage "A chart of letters, that appear random, used for measuring visual acuity.")	Medicine.kif 1700-1701
(subclass SnellenChart MeasuringDevice)	Medicine.kif 1699-1699	SnellenChart は MeasuringDevice の subclass では %n

appearance as argument number 2

(termFormat EnglishLanguage SnellenChart "Snellen chart")

Medicine.kif 1702-1702

consequent

(=>
    (visualAcuity ?H1 ?I1 ?I2)
    (exists (?S ?L)
        (and
            (instance ?S SnellenChart)
            (instance ?L Looking)
            (destination ?L ?S)
            (agent ?L ?H1))))

Medicine.kif 1726-1733