Re: [OpenCyc-devel] OpenCyc help

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

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