TreeView Knowledge Base Browser

appearance as argument number 1

(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 6231-6232
(domainSubclass BodyAreaFn 1 BodyPart)	Medicine.kif 6234-6234	Die Zahl 1 Argument von BodyAreaFn ist eine teilkategorie von BodyPart %n{nicht}
(instance BodyAreaFn UnaryFunction)	Medicine.kif 6230-6230	BodyAreaFn ist ein fall von UnaryFunction %n{nicht}
(rangeSubclass BodyAreaFn BodyPart)	Medicine.kif 6235-6235	Die werte die BodyAreaFn zurueckgibt sind teilkategorien von BodyPart

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 6237-6246

Wenn Object ist ein fall von BodyAreaFn ** BodyPart %n{nicht} und ** Object ist ein fall von Animal %n{nicht} und ** Object ist ein teil von ** ** Object %n{nicht},
dann es gibt ** Object um ** ** Object ist ein fall von ** BodyPart %n{nicht} und ** Object ist Near hinsichlich ** ** Object %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht}

statement

(subclass LeftThigh (BodyAreaFn (BodySideFn Left ThighMuscle)))	Medicine.kif 2930-2930	LeftThigh ist eine teilkategorie von BodyAreaFn BodySideFn Left and ThighMuscle
(subclass RightThigh (BodyAreaFn (BodySideFn Right ThighMuscle)))	Medicine.kif 2933-2933	RightThigh ist eine teilkategorie von BodyAreaFn BodySideFn Right and ThighMuscle

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

KB Term:			Term intersection

English Word: