Reading a 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.)