[OpenCyc-devel] OpenCyc help

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

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