## Reading a Graph

E-Mail Comments to: doc@cyc.com
Copyright© 1996, 1997, 1998, 2002 Cycorp. All rights reserved.

| The Hierarchy Browser
| Graphing Along #$genls
| Graphing from Constants in the Graph

If your copy of OpenCyc had detailed information on reptiles, the Hierarchy Browser would now be displaying a graph that looks something like this:

     Hierarchical display radiating from reptile
            isa: organism classification type, public constant
          genls: air breathing vertebrate, animal
        Context: BaseKB
      Predicate: genls
          Index: 2

      Parameters updated at 12:34:56 on0 70/820030

      [?]  Back   [Change Hierarchy Browser Settings]

         +Reptile
    	+(JuvenileFn Reptile)
    	+Crocodilian
    	   +Alligator
    	   +Crocodile
    	+Dinosaur
    	   +Stegosaurus
    	   +Velociraptor
    	+Lizard
    	   +Chameleon
    	   +Gecko
    	   +Iguana
    	+Snake
    	   +BoaConstrictor
    	   +Cobra
    	   +CoralSnake
    	   +PitViper
    	      +Copperhead
    	      +Rattlesnake
    	      +WaterMoccasin
    	   +Python
    	   +WaterSnake
    	      +WaterMoccasin
    	+Turtle
    	   +SeaTurtle
    	   +Tortoise

#$Reptile is at the top and is not indented, indicating that it is the root of the graph. #$Dinosaur is below #$Reptile and indented one level. #$Stegosaurus is below #$Dinosaur and is indented another level. This indicates that the KB has the assertions:

         (#$genls #$Dinosaur #$Reptile)*
         (#$genls #$Stegosaurus #$Dinosaur)

In general, when we graph along the predicate P with Index Argument = 2, and constant Y is below X and at one more level of indentation, then

         (P X Y)

* (Ok, if you are serious about your biology, dinosaurs are in their own order. But this is a reasonable approximation. If in the future, you expand your copy of OpenCyc's zoological expertise, more sophisticated species representations could be developed and used in "expert" microtheories.)

Last Update: 03/22/2002 11:41:56