Re: [OpenCyc-devel] OpenCyc help

[David W. <dav...@gm...>]

What Microtheory are you using when you give the query to the browser?

David

On 8/11/08, Paul Fodor <pf...@cs...> wrote:
> Interestingly, if I put he same query in the KB browser:
> (#$reach-predicate ?X ?Y)
> I get four responses: reach #$node-1->#$node-2, #$node-1->#$node-1,
> #$node-2->#$node-1, #$node-2->#$node-2
>
> But if I ask:
> (new-cyc-query '(#$reach-predicate ?X ?Y))
> in the CYC console, then I get no results.
>
> Thank you,
> Paul Fodor
>
> On Mon, Aug 11, 2008 at 3:27 PM, Paul Fodor <pf...@cs...> wrote:
> > Dear Sir,
> > Thank you for your help with defying the #$edge-predicate.
> > I have now another question. I defined a rechability predicate in
> > graphs, but I cannot figure out why I have no answers.
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      '(#$implies (#$edge-predicate ?X ?Y) (#$reach-predicate ?X ?Y))
> >      #$graphMT)))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      '(#$implies (#$and (#$edge-predicate ?X ?Z) (#$reach-predicate
> > ?Z ?Y)) (#$reach-predicate ?X ?Y))
> >      #$graphMT)))
> >
> > (new-cyc-query '(#$reach-predicate ?X ?Y) #$graphMT '(:metrics
> > (:total-time :complete-total-time :time-per-answer
> > :time-to-first-answer :answer-count)))
> > (new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$graphMT '(:metrics
> > (:total-time :complete-total-time :time-per-answer
> > :time-to-first-answer :answer-count)))
> >
> > Both queries above have 0 answers, but the following queries have 2,
> > respective 1 answers.
> >
> > (new-cyc-query '(#$edge-predicate ?X ?Y) #$graphMT '(:metrics
> > (:total-time :complete-total-time :time-per-answer
> > :time-to-first-answer :answer-count)))
> > (new-cyc-query '(#$edge-predicate #$node-1 ?Y) #$graphMT '(:metrics
> > (:total-time :complete-total-time :time-per-answer
> > :time-to-first-answer :answer-count)))
> >
> > I attached the whole graph example below.
> > Thank you, regards,
> > Paul.
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-CREATE-NOW "graphMT")))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      (LIST #$comment #$graphMT "") #$BaseKB)))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      (LIST #$isa #$graphMT #$Microtheory) #$UniversalVocabularyMt)))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-CREATE-NOW "node-type")))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      (LIST #$comment #$node-type "") #$graphMT)))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      (LIST #$isa #$node-type #$FirstOrderCollection) #$UniversalVocabularyMt)))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      (LIST #$genls #$node-type #$Individual) #$UniversalVocabularyMt)))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-CREATE-NOW "node-1")))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      (LIST #$isa #$node-1 #$node-type) #$graphMT)))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-CREATE-NOW "node-2")))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      (LIST #$isa #$node-2 #$node-type) #$graphMT)))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-CREATE-NOW "edge-predicate")))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      (LIST #$isa #$edge-predicate #$BinaryPredicate) #$UniversalVocabularyMt)))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      (LIST #$comment #$edge-predicate "") #$BaseKB)))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      (LIST #$argIsa #$edge-predicate 1 #$node-type) #$UniversalVocabularyMt)))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      (LIST #$argIsa #$edge-predicate 2 #$node-type) #$UniversalVocabularyMt)))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      (LIST #$genlPreds #$edge-predicate #$conceptuallyRelated)
> > #$UniversalVocabularyMt)))
> >
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*REQUIRE-CASE-INSENSITIVE-NAME-UNIQUENESS* NIL)
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-CREATE-NOW "reach-predicate")))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      (LIST #$isa #$reach-predicate #$BinaryPredicate)
> > #$UniversalVocabularyMt)))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      (LIST #$comment #$reach-predicate "") #$BaseKB)))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      (LIST #$argIsa #$reach-predicate 1 #$node-type) #$UniversalVocabularyMt)))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      (LIST #$argIsa #$reach-predicate 2 #$node-type) #$UniversalVocabularyMt)))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      (LIST #$genlPreds #$reach-predicate #$conceptuallyRelated)
> > #$UniversalVocabularyMt)))
> >
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      (LIST #$edge-predicate #$node-1 #$node-2) #$graphMT)))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      (LIST #$edge-predicate #$node-2 #$node-1) #$graphMT)))
> >
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      '(#$implies (#$edge-predicate ?X ?Y) (#$reach-predicate ?X ?Y))
> >      #$graphMT)))
> >
> > (WITH-BOOKKEEPING-INFO
> >  (NEW-BOOKKEEPING-INFO NIL
> >    (THE-DATE) NIL
> >    (THE-SECOND))
> >  (CLET
> >    (
> >      (*THE-CYCLIST* NIL)
> >      (*KE-PURPOSE* NIL))
> >    (KE-ASSERT-NOW
> >      '(#$implies (#$and (#$edge-predicate ?X ?Z) (#$reach-predicate
> > ?Z ?Y)) (#$reach-predicate ?X ?Y))
> >      #$graphMT)))
> >
> > (new-cyc-query '(#$reach-predicate ?X ?Y) #$graphMT '(:metrics
> > (:total-time :complete-total-time :time-per-answer
> > :time-to-first-answer :answer-count)))
> > (new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$graphMT '(:metrics
> > (:total-time :complete-total-time :time-per-answer
> > :time-to-first-answer :answer-count)))
> >
>
> -------------------------------------------------------------------------
> This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
> Build the coolest Linux based applications with Moblin SDK & win great prizes
> Grand prize is a trip for two to an Open Source event anywhere in the world
> http://moblin-contest.org/redirect.php?banner_id=100&url=/
> _______________________________________________
> OpenCyc-devel mailing list
> Ope...@li...
> https://lists.sourceforge.net/lists/listinfo/opencyc-devel
>