[Attempto] Doubt in RACE

[Ananya Poddar]

 Hello there,

    I have been trying to work with RACE and am facing some difficulties.
For the foll. axiom, the output is as given.

   Query
 Who is a man and is a human?
  overall time: 2.406 sec; RACE time: 0.271 sec

*Axioms*: Every man is a human. Every woman is a human. Mary is a woman.
John is a man. Fido is a dog. No dog is a human. John is a male. Fido is a
male.

*Query*: Who is a man and is a human?

*Parameters*:

The following minimal subsets of the axioms answer the query:
Subset 1

   - 1: Every man is a human.
   - 4: John is a man.
   - Substitution: who = John





However, when I am changing it to:

*Axioms*: p:Delhi is a city. It is located in p:India.

*Query*: Where is p:Delhi located?


The error that is given is:

Query cannot be answered from axioms.


Please help. Thank you.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20120419/6679987c/attachment.html>