Script whatIs



if ($1 = "")
{ echo "Syntax: $0 TypeName_or_ConceptNode //ConceptNode: '[' TypeName ']'"; }
else
{ if ($1 = "#*")  //ConceptNode
  { echo "Specialisations"; echo "";  spec $1; }
  else            //TypeName
  { echo "Supertypes and subtypes of" $1 ""; echo "";  spec $1;
    echo "Definitions of" $1 "";             echo "";  def of $1;
  };
}