Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BodyAreaFn |
| 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 |
|
|
|