Re: [OpenCyc-devel] OpenCyc help

[Paul F. <pf...@cs...>]

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)))
>