Esercizio su SUMO
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"