Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Eyebrow
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Eyebrow BodyPart) | Anatomy.kif 1456-1456 | Eyebrow is a subclass of body part |
| (documentation Eyebrow EnglishLanguage "A part of the Face above each Eye that typically has Hair.") | Anatomy.kif 1457-1458 | Eyebrow is a subclass of body part |
| (initialPart Eyebrow Head) | Anatomy.kif 1460-1460 | Every eyebrow is initially part of a head |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Eyebrow "eyebrow") | Anatomy.kif 1459-1459 |
| antecedent |
|
|
| (=> (and (instance ?E Eyebrow) (attribute ?H Healthy) (part ?E ?H)) (exists (?EYE) (and (instance ?EYE Eye) (part ?EYE ?H) (orientation ?EYE ?E Near)))) |
Anatomy.kif 1461-1470 | If X is an instance of eyebrow, healthy is an attribute of Y, and X is a part of Y, then there exists Z such that Z is an instance of eye, Z is a part of Y, and Z is near to X |
| (=> (and (instance ?E Eyebrow) (attribute ?H Healthy) (part ?E ?H) (member ?C ?E)) (memberCount ?E 2)) |
Anatomy.kif 1472-1478 | If X is an instance of eyebrow, healthy is an attribute of Y, X is a part of Y, and Z is a member of X, then 2 is a member count of X |
| (=> (and (instance ?E Eyebrow) (attribute ?H Healthy) (part ?E ?H) (member ?C ?E)) (exists (?HAIR) (and (instance ?HAIR Hair) (part ?HAIR ?E)))) |
Anatomy.kif 1480-1489 | If X is an instance of eyebrow, healthy is an attribute of Y, X is a part of Y, and Z is a member of X, then there exists W such that W is an instance of hair and W is a part of X |
| (=> (and (instance ?E Eyebrow) (holdsDuring ?T (and (attribute ?H Healthy) (attribute ?H Standing))) (part ?E ?H)) (exists (?EYE) (and (instance ?EYE Eye) (part ?EYE ?H) (orientation ?E ?EYE Above)))) |
Anatomy.kif 1491-1503 | If X is an instance of eyebrow, healthy is an attribute of Y and standing is an attribute of Y holds during Z, and X is a part of Y, then there exists W such that W is an instance of eye, W is a part of Y, and X is above to W |
|