17 Mar 2005
CS 3243 - Logical Inference
53
Example knowledge base
lThe law says that it is
a crime for an American to sell weapons
to hostile nations. The country Nono,
an enemy of America, has
some missiles, and all of its missiles
were sold to it by Colonel West, who is American.
lProve that
Col. West is a criminal