resolution.input5 - athletic(var_A2). isHabitualAction(rd2).

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
physicalActivity(dance). # #all H,T,A isHabitualAction(H) and typeof(H,T) and # physicalActivity(T) and agentof(H,A) --> athletic(A) -isHabitualAction(var_H2)|-typeof(var_H2,var_T2)|-physicalActivity(var_T2)|-agentof(var_H2,var_A2)|
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: athletic(var_A2). isHabitualAction(rd2). typeof(rd2,dance). agentof(rd2,juan).-athletic(juan)....
View Full Document

This note was uploaded on 10/22/2011 for the course CS CS 2710 taught by Professor Wiebe during the Fall '11 term at Pittsburgh.

Ask a homework question - tutors are online