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

% Note: modification of solutions in FTREE1.DTR and FTREE2.DTR; semantic
% attributes organized in separate paths with Boolean values, no indication
% of levels in taxonomy.  Lvalues are atoms (Boolean) or nodes.

%--------------------------------------------------------------------%
% FTREE3.DTR represents the same taxonomy of foodstuffs as FTREE1    %
% and FTREE2.DTR, but here generics are represented as attributes    %
% with Boolean values instead of as atoms, which gives this DATR     %
% theory the appearance of database of facts.                        %
%--------------------------------------------------------------------%

Topnode:      < > == no.

Objekt:       < > == Topnode
              <objekt> == yes.

Nahrungsm:    < > == Objekt
              <nahrungsmittel> == yes.

Tierisch:     < > == Nahrungsm
              <tierisch> == yes.

Pflanzlich:   < > == Nahrungsm
              <pflanzlich> == yes.

Milchprod:    < > == Tierisch
              <milchprodukt> == yes.

Fleischprod:  < > == Tierisch
              <fleischprodukt> == yes.

Fischprod:    < > == Tierisch
              <fischprodukt> == yes.

Eier:         < > == Tierisch
              <ei> == yes.

Getreideprod: < > == Pflanzlich
              <getreideprodukt> == yes.

Obst:         < > == Pflanzlich
              <obst> == yes.

Gemuese:      < > == Pflanzlich
              <gemuese> == yes.

Nuesse:       < > == Pflanzlich
              <pflanzlich> == yes.

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

Butter:       < > == Milchprod
              <butter> == yes.

Kaese:        < > == Milchprod
              <kaese> == yes.

Wild:         < > == Fleischprod
              <wild> == yes.

Gefluegel:    < > == Fleischprod
              <gefluegel> == yes.

Fleisch:      < > == Fleischprod
              <fleisch> == yes.

Seefisch:     < > == Fischprod
              <seefisch> == yes.

Suessw_fisch: < > == Fischprod
              <suessw_fisch> == yes.

Meerestiere:  < > == Fischprod
              <meerestiere> == yes.

Reis:         < > == Getreideprod
              <reis> == yes.

Roggen:       < > == Getreideprod
              <roggen> == yes.

Gerste:       < > == Getreideprod
              <gerste> == yes.

Hafer:        < > == Getreideprod
              <hafer> == yes.

Weizen:       < > == Getreideprod
              <weizen> == yes.

Steinobst:    < > == Obst
              <steinobst> == yes.

Kernobst:     < > == Obst
              <kernobst> == yes.

Beeren:       < > == Obst
              <beeren> == yes.

Suedfruechte: < > == Obst
              <suedfruechte> == yes.

Wurzelgem:    < > == Gemuese
              <wurzelgemuese> == yes.

Blattgem:     < > == Gemuese
              <blattgemuese> == yes.

Kohl:         < > == Gemuese
              <kohl> == yes.

Zwiebeln:     < > == Gemuese
              <zwiebeln> == yes.

Fruchtgem:    < > == Gemuese
              <fruchtgenuese> == yes.

Bluetengem:   < > == Gemuese
              <bluetengemuese> == yes.

Magermilch:   < > == Milch
              <magermilch> == yes.

Buttermilch:  < > == Milch
              <buttermilch> == yes.

Sahne:        < > == Milch
              <sahne> == yes.

Hartkaese:    < > == Kaese
              <hartkaese> == yes.

Weichkaese:   < > == Kaese
              <weichkaese> == yes.

Frischkaese:  < > == Kaese
              <frischkaese> == yes.

Huehnerfl:    < > == Gefluegel
              <huehnerfleisch> == yes.

Putenfl:      < > == Gefluegel
              <putenfleisch> == yes.

Rindfl:       < > == Fleisch
              <rindfleisch> == yes.

Schweinefl:   < > == Fleisch
              <schweinefleisch> == yes.

Scholle:      < > == Seefisch
              <scholle> == yes.

Hering:       < > == Seefisch
              <hering> == yes.

Kabeljau:     < > == Seefisch
              <kabeljau> == yes.

Muscheln:     < > == Meerestiere
              <muscheln> == yes.

Krabben:      < > == Meerestiere
              <krabben> == yes.

Kirschen:     < > == Steinobst
              <kirschen> == yes.

Pflaumen:     < > == Steinobst
              <pflaumen> == yes.

Aepfel:       < > == Kernobst
              <aepfel> == yes.

Birnen:       < > == Kernobst
              <birnen> == yes.

Moehren:      < > == Wurzelgem
              <moehren> == yes.

Rettich:      < > == Wurzelgem
              <rettich> == yes.

Radieschen:   < > == Wurzelgem
              <radieschen> == yes.

Rotkohl:      < > == Kohl
              <rotkohl> == yes.

Gruenkohl:    < > == Kohl
              <gruenkohl> == yes.

Blumenkohl:   < > == Bluetengem
              <blumenkohl> == yes.

Broccoli:     < > == Bluetengem
              <broccoli> == yes.

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

Gouda:        < > == Hartkaese
              <gouda> == yes.

Quark:        < > == Frischkaese
              <quark> == yes.

Huettenk:     < > == Frischkaese
              <huettenkaese> == yes.

Suesskirsch:  < > == Kirschen
              <suesskirschen> == yes.

Schattenmor:  < > == Kirschen
              <schattenmorellen> == yes.

Zwetschgen:   < > == Pflaumen
              <zwetschgen> == yes.

Mirabellen:   < > == Pflaumen
              <mirabellen> == yes.

Granny:       < > == Aepfel
              <granny> == yes.

Jonagold:     < > == Aepfel
              <jonagold> == yes.

Cox:          < > == Aepfel
              <cox> == yes.

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

% Some example theorems:

% Cox:
%             <objekt> = yes
%             <nahrungsmittel> = yes
%             <tierisch> = no
%             <pflanzlich> = yes
%             <milchprodukt> = no
%             <fleischprodukt> = no
%             <fischprodukt> = no
%             <ei> = no
%             <getreideprodukt> = no
%             <obst> = yes
%             <gemuese> = no
%             <nuesse> = no
%             <milch> = no
%             <butter> = no
%             <kaese> = no
%             <wild> = no
%             <gefluegel> = no
%             <fleisch> = no
%             <seefisch> = no
%             <suessw_fisch> = no
%             <meerestiere> = no
%             <reis> = no
%             <roggen> = no
%             <gerste> = no
%             <hafer> = no
%             <weizen> = no
%             <steinobst> = no
%             <kernobst> = yes
%             <beeren> = no
%             <suedfruechte> = no
%             <wurzelgemuese> = no
%             <blattgemuese> = no
%             <kohl> = no
%             <zwiebeln> = no
%             <fruchtgemuese> = no
%             <bluetengemuese> = no
%             <magermilch> = no
%             <buttermilch> = no
%             <sahne> = no
%             <hartkaese> = no
%             <weichkaese> = no
%             <frischkaese> = no
%             <huehnerfleisch> = no
%             <putenfleisch> = no
%             <rindfleisch> = no
%             <schweinefleisch> = no
%             <scholle> = no
%             <hering> = no
%             <kabeljau> = no
%             <muscheln> = no
%             <krabben> = no
%             <kirschen> = no
%             <pflaumen> = no
%             <aepfel> = yes
%             <birnen> = no
%             <moehren> = no
%             <rettich> = no
%             <radieschen> = no
%             <rotkohl> = no
%             <gruenkohl> = no
%             <blumenkohl> = no
%             <broccoli> = no
%             <parmesan> = no
%             <gouda> = no
%             <quark> = no
%             <huettenkaese> = no
%             <suesskirschen> = no
%             <schattenmorellen> = no
%             <zwetschgen> = no
%             <mirabellen> = no
%             <granny> = no
%             <jonagold> = no
%             <cox> = yes.

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

# show        <objekt>
              <nahrungsmittel>
              <tierisch>
              <pflanzlich>
              <milchprodukt>
              <fleischprodukt>
              <fischprodukt>
              <ei>
              <getreideprodukt>
              <obst>
              <gemuese>
              <nuesse>
              <milch>
              <butter>
              <kaese>
              <wild>
              <gefluegel>
              <fleisch>
              <seefisch>
              <suessw_fisch>
              <meerestiere>
              <reis>
              <roggen>
              <gerste>
              <hafer>
              <weizen>
              <steinobst>
              <kernobst>
              <beeren>
              <suedfruechte>
              <wurzelgemuese>
              <blattgemuese>
              <kohl>
              <zwiebeln>
              <fruchtgemuese>
              <bluetengemuese>
              <magermilch>
              <buttermilch>
              <sahne>
              <hartkaese>
              <weichkaese>
              <frischkaese>
              <huehnerfleisch>
              <putenfleisch>
              <rindfleisch>
              <schweinefleisch>
              <scholle>
              <hering>
              <kabeljau>
              <muscheln>
              <krabben>
              <kirschen>
              <pflaumen>
              <aepfel>
              <birnen>
              <moehren>
              <rettich>
              <radieschen>
              <rotkohl>
              <gruenkohl>
              <blumenkohl>
              <broccoli>
              <parmesan>
              <gouda>
              <quark>
              <huettenkaese>
              <suesskirschen>
              <schattenmorellen>
              <zwetschgen>
              <mirabellen>
              <granny>
              <jonagold>
              <cox>.

# hide        Topnode
              Objekt.

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

% 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 $