|
|
  exportPartnerByRank
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Eyebrow EnglishLanguage "A part of the Face above each Eye that typically has Hair.") | Anatomy.kif 1435-1436 | |
| (initialPart Eyebrow Head) | Anatomy.kif 1438-1438 | |
| (subclass Eyebrow BodyPart) | Anatomy.kif 1434-1434 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Eyebrow "eyebrow") | Anatomy.kif 1437-1437 |
| antecedent |
|
|
| (=> (and (instance ?E Eyebrow) (attribute ?H Healthy) (part ?E ?H) (member ?C ?E)) (exists (?HAIR) (and (instance ?HAIR Hair) (part ?HAIR ?E)))) |
Anatomy.kif 1458-1467 | |
| (=> (and (instance ?E Eyebrow) (attribute ?H Healthy) (part ?E ?H) (member ?C ?E)) (memberCount ?E 2)) |
Anatomy.kif 1450-1456 | |
| (=> (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 1439-1448 | |
| (=> (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 1469-1481 |
|
|
|