Dipartimento di Psicologia

Data la seguente porzione dell'ontologia SUMO:

(subclass BodyMotion Motion)

(subclass Ambulating BodyMotion)

(subclass Indicating BodyMotion)

(subclass SittingDown BodyMotion)

(subclass Closing Motion)

(subclass BodyMotion Motion)

(subclass ClosingEyes Closing)

(subclass ClosingEyes EyeMotion)

(subclass EyeMotion BodyMotion)

(subclass ClosingEyes FacialExpression)

(subclass Winking ClosingEyes)

(disjoint OpeningEyes ClosingEyes)

(subclass Eyelid Skin)

(=>

    (and

        (instance ?MOTION BodyMotion)

        (moves ?MOTION ?OBJ))

    (and

        (instance ?OBJ BodyPart)

        (patient ?MOTION ?OBJ)))

(=>

    (instance ?MOTION BodyMotion)

    (exists (?AGENT)

        (and

            (instance ?AGENT Organism)

            (agent ?MOTION ?AGENT))

(=>

    (and

        (instance ?EM EyeMotion)

        (agent ?EM ?A))

    (exists (?E)

        (and

            (instance ?E Eyelid)

            (part ?E ?A)

            (patient ?EM ?E))))

(=>

(instance ?E Eyelid)

(capability Covering instrument ?E))

Descrivere graficamente le relazioni di classe / sottoclasse

Scrivere in linguaggio naturale i tre assiomi riportati

Indicare le primitive del linguaggio di rappresentazione dell'ontologia e i concetti rappresentati nell'ontologia stessa.