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 6215-6216 | |
(domainSubclass BodyAreaFn 1 BodyPart) | Medicine.kif 6218-6218 | BodyAreaFn の数値 1 引数は 体の部分 のsubclass では %n |
(instance BodyAreaFn UnaryFunction) | Medicine.kif 6214-6214 | BodyAreaFn は 1変数関数 の instance では %n |
(rangeSubclass BodyAreaFn BodyPart) | Medicine.kif 6219-6219 | BodyAreaFn が返す値は 体の部分 の subclasses では %n |
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 6221-6230 |
statement |
![]() |
(subclass LeftThigh (BodyAreaFn (BodySideFn Left ThighMuscle))) |
Medicine.kif 2918-2918 | LeftThigh は BodyAreaFn BodySideFn Left and ThighMuscle の subclass では %n |
(subclass RightThigh (BodyAreaFn (BodySideFn Right ThighMuscle))) |
Medicine.kif 2921-2921 | RightThigh は BodyAreaFn BodySideFn Right and ThighMuscle の subclass では %n |
![]() |
![]() |