BodyAreaFn |
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 |
|
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 |