Forehead - Sigma Knowledge base Browser

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	Every forehead is initially part of a head
(subclass Forehead BodyPart)	Anatomy.kif 1483-1483	Forehead is a subclass of body part

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

If an object is an instance of forehead and healthy is an attribute of another object and standing is an attribute of the other object holds during a time position and a third object is a part of the other object,
then there exists the third objectYE such that the third objectYE is an instance of eye and the third objectYE is a part of the other object and the object is above to the third objectYE

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

KB Term:			Term intersection

English Word: