Parafrasare in linguaggio naturale i seguenti assiomi, sia in modo letterale che in modo informale:

(=>

    (instance ?B Butter)

    (exists (?C ?M)

        (and

            (instance ?C Cooking)

            (resource ?C ?M)

            (instance ?M Milk)

            (result ?C ?B))))

Lessico: resource = "risorsa"; result = "è risultato di"; in questa accezione, Cooking significa "preparazione" piuttosto che "cottura" (non si cuoce il latte per fare il burro)

(subclass Baking Cooking)

(subclass Frying Cooking)

(=>

    (instance ?K KitchenArea)

    (hasPurpose ?K

        (exists (?C)

            (and

                (instance ?C Cooking)

                (eventLocated ?C ?K)))))

Lessico: hasPurpose = "ha come finalità"; eventLocated = "l'evento X avviene nel luogo"

(=>

    (instance ?S Stove)

    (hasPurpose ?S

        (exists (?C)

            (and

                (instance ?C Cooking)

                (instrument ?C ?S)))))

Lessico: Stove = "fornello, stufa"; instrument = "è uno strumento utile a"

Última modificación: lunes, 8 de septiembre de 2014, 12:57