TreeView Knowledge Base Browser

appearance as argument number 1

(instance BodyAreaFn UnaryFunction)	Medicine.kif 6260-6260	Body area is an instance of unary function
(documentation BodyAreaFn EnglishLanguage "A Function that denotes the area near a given organ or structure of the body such as 'bicep area' or 'stomach area'.")	Medicine.kif 6262-6263	Body area is an instance of unary function
(domainSubclass BodyAreaFn 1 BodyPart)	Medicine.kif 6265-6265	The number 1 argument of body area is a subclass of body part
(rangeSubclass BodyAreaFn BodyPart)	Medicine.kif 6266-6266	The values returned by body area are subclasses of body part

appearance as argument number 2

(termFormat EnglishLanguage BodyAreaFn "body area")

Medicine.kif 6261-6261

antecedent

(=>
    (and
        (instance ?A
            (BodyAreaFn ?OC))
        (instance ?H Animal)
        (part ?A ?H))
    (exists (?O)
        (and
            (instance ?O ?OC)
            (orientation ?A ?O Near)
            (part ?O ?H))))

Medicine.kif 6268-6277

If X is an instance of body area Y, Z is an instance of animal, and X is a part of Z, then there exists W such that W is an instance of Y, X is near to W, and W is a part of Z

statement

(subclass LeftThigh (BodyAreaFn (BodySideFn Left ThighMuscle)))	Medicine.kif 2936-2936	Left thigh is a subclass of body area the left of quadriceps
(subclass RightThigh (BodyAreaFn (BodySideFn Right ThighMuscle)))	Medicine.kif 2939-2939	Right thigh is a subclass of body area the right of quadriceps

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

KB Term:			Term intersection

English Word: