TreeView Knowledge Base Browser

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	The number 1 argument of visual acuity is an instance of human
(domain visualAcuity 2 Integer)	Medicine.kif 1706-1706	The number 2 argument of visual acuity is an instance of integer
(domain visualAcuity 3 Integer)	Medicine.kif 1707-1707	The number 3 argument of visual acuity is an instance of integer
(instance visualAcuity TernaryPredicate)	Medicine.kif 1704-1704	visual acuity is an instance of ternary predicate

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	If a human has an integer/another integer eyesight, then there exists another human such that impaired body part fn eye is not an attribute of the other human and the other human has the other integer/the other integer eyesight
(=> (visualAcuity ?H1 ?I1 ?I2) (exists (?S ?L) (and (instance ?S SnellenChart) (instance ?L Looking) (destination ?L ?S) (agent ?L ?H1))))	Medicine.kif 1726-1733	If a human has an integer/another integer eyesight, then there exist an entity and a process such that the entity is an instance of Snellen chart and the process is an instance of looking and the process ends up at the entity and the human is an agent of the process

consequent

(=>
    (visualAcuity ?H1 ?I1 ?I2)
    (exists (?H2)
        (and
            (not
                (attribute ?H2
                    (ImpairedBodyPartFn Eye)))
            (visualAcuity ?H2 ?I2 ?I2))))

Medicine.kif 1718-1724

If a human has an integer/another integer eyesight,
then there exists another human such that impaired body part fn eye is not an attribute of the other human and the other human has the other integer/the other integer eyesight

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: