% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%                                                                           %
% File:            flatt3.dtr                                               %
% Purpose:         representation of taxonomic structures in cooking world  %
% Author:          Angelika Koelzer, 21st December 1993                     %
% Version:         1.01                                                     %
% Related files:   flatt1.dtr, flatt2.dtr, ftree1.dtr, ftree2.dtr, etc.     %
%                                                                           %
%      Copyright (c) University of Duesseldorf 1993.  All rights reserved.  %
%                                                                           %
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% Note: multiple inheritance with defaults; generics and other properties
% organized in separate paths with Boolean values.  An expansion of solution
% in FTREE3.DTR.  Lvalues are Boolean or nodes.

% Generic hierarchy with properties ---------------------------------%

Topnode:      < > == no.

Object:       < > == Topnode
              <object> == yes
              <matter> == yes
              <mass_count> == yes.

Gewuerze:     < > == Object
              <gewuerze> == yes
              <organisch> == yes
              <mass> == yes.

Nahrungsm:    < > == Object
              <nahrungsmittel> == yes
              <organisch> == yes.

Salz:         < > == Gewuerze
              <salz> == yes
              <mineralisch> == yes
              <organisch> == no                  % non-default
              <koernig> == yes.

Schnittlauch: < > == Gewuerze
              <schnittlauch> == yes
              <pflanzlich> == yes
              <mass> == no                       % non-default
              <fest> == yes.

Milchprod:    < > == Nahrungsm
              <milchprodukt> == yes
              <tierisch> == yes
              <mass> == yes.

Fruechte:     < > == Nahrungsm
              <fruechte> == yes
              <pflanzlich> == yes
              <count> == yes
              <fest> == yes.

Kaese:        < > == Milchprod
              <kaese> == yes
              <mass> == no                       % non-default
              <fest> == yes.

Milch:        < > == Milchprod
              <milch> == yes
              <fluessig> == yes.

Litschi:      < > == Fruechte
              <litschi> == yes
              <fest> == no                       % non-default
              <hart> == yes.

Aepfel:       < > == Fruechte
              <self> == aepfel.

Quark:        < > == Kaese
              <quark> == yes
              <weich> == yes
              <mass> == yes                      % non-default
              <fest> == no.                      % non-default

Parmesan:     < > == Kaese
              <parmesan> == yes.

%--------------------------------------------------------------------%

% Some example theorems:

% Parmesan:
%             <matter> = yes
%             <mineralisch> = no
%             <organisch> = yes
%             <pflanzlich> = no
%             <tierisch> = yes
%             <mass_count> = yes
%             <mass> = no
%             <count> = no
%             <koernig> = no
%             <weich> = no
%             <fluessig> = no
%             <fest> = yes
%             <hart> = no
%             <object> = yes
%             <gewuerze> = no
%             <nahrungsmittel> = yes
%             <salz> = no
%             <schnittlauch> = no
%             <milchprodukt> = yes
%             <fruechte> = no
%             <kaese> = yes
%             <milch> = no
%             <litschi> = no
%             <aepfel> = no
%             <quark> = no
%             <parmesan> = yes.

%--------------------------------------------------------------------%

# show        <matter>
              <mineralisch>
              <organisch>
              <pflanzlich>
              <tierisch>
              <mass_count>
              <mass>
              <count>
              <koernig>
              <weich>
              <fluessig>
              <fest>
              <hart>
              <object>
              <gewuerze>
              <nahrungsmittel>
              <salz>
              <schnittlauch>
              <milchprodukt>
              <fruechte>
              <kaese>
              <milch>
              <litschi>
              <aepfel>
              <quark>
              <parmesan>.

# hide        Topnode
              Object.

%--------------------------------------------------------------------%

% The next line is the Revision Control System Id: do not delete it.
% $Id: archive.dtr,v 1.1 1997/04/09 20:40:33 root Exp $