| appearance as argument number 1 |
|
| (documentation Forehead EnglishLanguage "The region of the front of the Head above the eyes and forward of the hairline or scalp.") | Anatomy.kif 1484-1485 | |
| (initialPart Forehead Head) | Anatomy.kif 1487-1487 | initialPart Forehead and Head |
| (subclass Forehead BodyPart) | Anatomy.kif 1483-1483 | Forehead è una sottoclasse di ParteDelCorpo |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Forehead "forehead") | Anatomy.kif 1486-1486 |
| 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 1488-1500 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners