###

    # KEHOME/knowledge/theory/KRdesign/explore.html
    # Oct/27/2002

    #===============================#
    # Exploring a concept-hierarchy #
    #===============================#

    # 1. find a concept
    #------------------#
    	do find od *name* done	# search by name ("*" wildcard)
    	? has attr		# search by attribute
    	? do act done		# search by action
    	? isin rel		# search by relation

    # 2. change concept
    #------------------#
    	set . = $		# set "." to the concept found

    # 3. explore details
    #-------------------#
    	$. is ?			# definition
    	$. has ?		# attributes (intension)
    	$. do ?			# actions
    	$. isa* ?		# wider concepts
    	$. ise* ?		# referents (extension)

    	set ..  = next		# step through genus of concept
    	set ...	= next		# step through species|unit of concept

    	$. isa**1 ?; $Question ise**1 ?	# siblings
    	$. isa**2 ?; $Question ise**2 ?	# cousins

    # 4. calculate attribute
    #-----------------------#
    	do measure od $. with newattr done # new attribute (conceptual scaling)

    # 5. differentiate concept
    #-------------------------#
    	do isd od $. with newattr  # new concept-hierarchy (concept-formation)

General References