Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - visualAcuity
visualAcuity

appearance as argument number 1
-------------------------


(instance visualAcuity TernaryPredicate) Medicine.kif 1688-1688 visual acuity is an instance of ternary predicate
(domain visualAcuity 1 Human) Medicine.kif 1689-1689 The number 1 argument of visual acuity is an instance of human
(domain visualAcuity 2 Integer) Medicine.kif 1690-1690 The number 2 argument of visual acuity is an instance of integer
(domain visualAcuity 3 Integer) Medicine.kif 1691-1691 The number 3 argument of visual acuity is an instance of integer
(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 1695-1700 The number 3 argument of visual acuity is an instance of integer

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage visualAcuity "visual acuity") Medicine.kif 1692-1692
(format EnglishLanguage visualAcuity "%1 has %2/%3 eyesight") Medicine.kif 1693-1693

antecedent
-------------------------


(=>
    (visualAcuity ?H1 ?I1 ?I2)
    (exists (?H2)
        (and
            (not
                (attribute ?H2
                    (ImpairedBodyPartFn Eye)))
            (visualAcuity ?H2 ?I2 ?I2))))		 Medicine.kif 1702-1708 If X has Y/Z eyesight, then there exists W such that impaired body part fn eye is not an attribute of W and W has Z/Z eyesight
(=>
    (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

consequent
-------------------------


(=>
    (visualAcuity ?H1 ?I1 ?I2)
    (exists (?H2)
        (and
            (not
                (attribute ?H2
                    (ImpairedBodyPartFn Eye)))
            (visualAcuity ?H2 ?I2 ?I2))))		 Medicine.kif 1702-1708 If X has Y/Z eyesight, then there exists W such that impaired body part fn eye is not an attribute of W and W has Z/Z eyesight


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners