TreeView Knowledge Base Browser

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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: