Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

For All researchcyc users out there

Giannis
2007-08-09
2013-05-28
  • Giannis
    Giannis
    2007-08-09

    Hi all,

    If you have ever used the standard Template parser of researchcyc I wonder if you can help me with the following:

    (parse-a-question-completely " what is the population
    of Greece?" #$RKFParsingMt '(:wff-check? t))

    I am getting:

    ((is-Underspecified ?THING0
       (SubcollectionOfWithRelationFromFn
    NonNegativeInteger numberOfInhabitants Greece))
       (numberOfInhabitants Greece ?THING0)
       (definitionalDisplaySentence
           (SubcollectionOfWithRelationFromFn
    NonNegativeInteger numberOfInhabitants Greece)
    ?SENTENCE)
       (thereExists ?X
           (and
               (definitionalDisplaySentence ?X ?SENTENCE)
               (isa ?X NonNegativeInteger)
               (numberOfInhabitants Greece ?X)))
       (interestingSentence
           (SubcollectionOfWithRelationFromFn
    NonNegativeInteger numberOfInhabitants Greece)
    ?INFORMATION)
       (thereExists ?X
           (and
               (interestingSentence ?X ?INFORMATION)
               (isa ?X NonNegativeInteger)
               (numberOfInhabitants Greece ?X))))

    If I will run these CycLs in the query tool I am
    getting nothing. However, If I will delete
    "(interestingSentence ?X ?INFORMATION)" and
    "(definitionalDisplaySentence ?X ?SENTENCE)" from the
    last two queries I am getting a full answer. Any ideas on the meaning of these sentances and why they are there will be appreciated. Their presence invalidates the whole CycL expression and hence I am curious why the parser produces something that is simply invalid..