Re: [OpenCyc-devel] OpenCyc help

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

It seems everything runs in BaseKB:
EL Query :
(reach-predicate ?X ?Y)
Answer Bindings :
?X → node-1
?Y → node-1
Justifications :
[B](implies
      (edge-predicate ?X ?Y)
      (reach-predicate ?X ?Y)) in BaseKB
[B](implies
      (and
          (edge-predicate ?X ?Z)
          (reach-predicate ?Z ?Y))
      (reach-predicate ?X ?Y)) in BaseKB
[Def](edge-predicate node-1 node-2) in BaseKB
[Def](edge-predicate node-2 node-1) in BaseKB

But running the query in the Cyc console and same KB has no response:

CYC(27): (new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$BaseKB '(:metrics
(:total-time :complete-total-time :time-per-answer :time-to-first-answer
:answer-count)))
NIL
:EXHAUST-TOTAL
NIL
(0 0 NIL NIL 0)


On Mon, Aug 11, 2008 at 6:52 PM, Paul Fodor <pf...@cs...> wrote:
> On Mon, Aug 11, 2008 at 6:12 PM, David Whitten
> <dav...@gm...> wrote:
>> What Microtheory are you using when you give the query to the browser?
>> David
>
> My OpenCyc 1.0 KB browser does not allow me to select a microtheory
> for a query. I guess it queries all microtheories.
> I guess the OpenCyc Tutorial was written for a newer version of Cyc,
> because it also says: "select the microtheory", but the KB browser
> doesn't have something like that.
>
> In the CYC console, I tried them all, but still didn't get an answer:
> (new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$graphMT)
> (new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$BaseKB)
> (new-cyc-query '(#$reach-predicate #$node-1 ?Y))
>
> I also changed the program to use the #$BaseKB microtheory for all
> assertions and still got the same behaviour: 4 results in KB browser,
> but no result in CYC console.
>
> (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 "") #$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 #$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) #$BaseKB)))
>
> (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) #$BaseKB)))
>
> (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) #$BaseKB)))
>
> (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) #$BaseKB)))
>
>
> (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))
>      #$BaseKB)))
>
> (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))
>      #$BaseKB)))
>
> (new-cyc-query '(#$reach-predicate ?X ?Y) #$BaseKB '(:metrics
> (:total-time :complete-total-time :time-per-answer
> :time-to-first-answer :answer-count)))
> (new-cyc-query '(#$reach-predicate #$node-1 ?Y) #$BaseKB '(:metrics
> (:total-time :complete-total-time :time-per-answer
> :time-to-first-answer :answer-count)))
>