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 1519-1520
(initialPart Forehead Head)	Anatomy.kif 1522-1522	Every forehead is initially part of a head
(subclass Forehead BodyPart)	Anatomy.kif 1518-1518	Forehead is a subclass of body part

appearance as argument number 2

(termFormat EnglishLanguage Forehead "forehead")

Anatomy.kif 1521-1521

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 1523-1535

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: