Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Forehead(forehead) |
| appearance as argument number 1 |
|
| (subclass Forehead BodyPart) | Anatomy.kif 1505-1505 | Forehead is a subclass of body part |
| (documentation Forehead EnglishLanguage "The region of the front of the Head above the eyes and forward of the hairline or scalp.") | Anatomy.kif 1506-1507 | Forehead is a subclass of body part |
| (initialPart Forehead Head) | Anatomy.kif 1509-1509 | Every forehead is initially part of a head |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Forehead "forehead") | Anatomy.kif 1508-1508 |
| antecedent |
|
|
| (=> (and (instance ?F Forehead) (holdsDuring ?T (and (attribute ?H Healthy) (attribute ?H Standing))) (part ?E ?H)) (exists (?EYE) (and (instance ?EYE Eye) (part ?EYE ?H) (orientation ?F ?EYE Above)))) |
Anatomy.kif 1510-1522 | If X is an instance of forehead, healthy is an attribute of Y and standing is an attribute of Y holds during Z, and W is a part of Y, then there exists V such that V is an instance of eye, V is a part of Y, and X is above to V |
|