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]

	+(JuvenileFn Reptile)

#$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.)