Re: print all OpenCyc Microtheories

Correction: there are only 307 Microtheories.
#$Person is not a Microtheory; it is part of
the examples printed out by opencyc during
startup.

Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;

  ----- Original Message ----- 
  From: Richard H. McCullough 
  To: Reed, Stephen L. ; Guha, R. V. ; McCool, Rob 
  Cc: www-rdf-interest at W3C ; KR-language 
  Sent: Thursday, August 28, 2003 5:24 PM
  Subject: print all OpenCyc Microtheories


  Here are my first "OpenCyc overview" results.

  Input shell script

  # KEHOME/knowledge/applications/SemanticWeb/OpenCyc/printMicrotheory
  # Aug/28/2003

  # print all OpenCyc Microtheories
  # usage: printMicrotheory
  #       CycL output format: ( mt1 mt2 ... ) ( ... )
  #       final output format: one mt per line, sorted

  (
   sleep 30                       # wait for opencyc startup
   echo '#$Microtheory isc* ?;'   # all specs and instances
   echo 'exit;'                   # exit opencyc
  )  |
  mkr2cyc                 |  # translate MKR to CycL
  opencyc server 2>&1     |  # opencyc output including prompts and errors
  sed 's/ /\n/g'          |  # change blank to newline
  sed 's/(//g'            |  # delete leading (
  sed 's/)//g'            |  # delete trailing )
  grep '^#\$'             |  # begin with "#$"
  grep -v '^#\$Person$'   |  # delete constant from startup examples
  sort -uf                   # sort, delete duplicates


  output file: 307 Microtheories

  #$AcademicOrganizationVocabularyMt
  #$Account
  #$AgentGMt
  ...