# KEHOME/knowledge/theory/Sowa/krsearch.html
# Jan/23/2003
#========================================#
# book hierarchy search example #
# find all concepts named *lattice* #
# and display their ancestors #
# excerpt from Knowledge Explorer output #
#========================================#
$ ke
...
do read from kr.ho done;
# command
...
topiclist := do find od *lattice* done;
# production
# command
*lattice*
LATTICE
lattice
lattice of categories
lattice operations
navigating the lattice of theories
...
every x in $topiclist {$x isa* ?;};
# every
# question <*lattice* isa* ?>
unit:*lattice*
\ pattern
\\ variable
\\\ attribute
\\\\ characteristic
\\\\\ existent
# question
LATTICE
\ group
\\ OBJECT
\\\ entity
\\\\ existent
# question
lattice
\ LATTICE
\\ group
\\\ OBJECT
\\\\ entity
\\\\\ existent
# question
lattice of categories
\ 2.3. Top-Level Categories
\\ 2. Ontology
\\\ unit:Knowledge Representation
\\\\ book
# question
lattice operations
\ 2.5. Defining Abstractions
\\ 2. Ontology
\\\ unit:Knowledge Representation
\\\\ book
# question
navigating the lattice of theories
\ 6.5. Theories , Models , and the World
\\ 6. Knowledge Soup
\\\ unit:Knowledge Representation
\\\\ book
exit;
...
$