Re: [OpenCyc-devel] OpenCyc help

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 422-6466

I seem to recall that you have to click some link
above the Cyc console window to make it display the context.
And, having displayed the context, you can change it
to a different context before you execute your query.

Dick McCullough
Ayn Rand do speak od mKR done;
mKE do enhance od Real Intelligence done;
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://mKRmKE.org/

  ----- Original Message ----- 
  From: Paul Fodor 
  To: OpenCyc developers 
  Sent: Monday, August 11, 2008 3:59 PM
  Subject: Re: [OpenCyc-devel] OpenCyc help

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

------------------------------------------------------------------------------

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