![]() | The Hierarchy Browser |
![]() | Graphing Along #$genls |
![]() | Graphing from Constants in the Graph |
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)