From 0138e6bba1d593fcdf5417dc8596c63757585796 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 8 Apr 2010 20:31:32 +0000 Subject: German phrasebook; ontology document; ignoring single lines in gfdoc --- examples/phrasebook/Ontology.html | 260 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 260 insertions(+) create mode 100644 examples/phrasebook/Ontology.html (limited to 'examples/phrasebook/Ontology.html') diff --git a/examples/phrasebook/Ontology.html b/examples/phrasebook/Ontology.html new file mode 100644 index 000000000..37c2019d1 --- /dev/null +++ b/examples/phrasebook/Ontology.html @@ -0,0 +1,260 @@ + + + Produced by +gfdoc - a rudimentary GF document generator. +(c) Aarne Ranta (aarne@cs.chalmers.se) 2002 under GNU GPL. + +

+

The Ontology of the Phrasebook

+ +

Syntactic Structures of the Phrasebook

+This module contains phrases that can be defined by a functor over the +resource grammar API. The phrases that are likely to have different implementations +are in the module Words. But the distinction is not quite sharp; thus it may happen +that the functor instantiations make exceptions. +
+  abstract Sentences = Numeral ** {
+
+ +The ontology of the phrasebook is defined by the following types. The commented ones +are defined in other modules. +
+    cat
+      Phrase ;      -- complete phrase, the unit of translation  e.g. "Where are you?"
+      Sentence ;    -- declarative sentence                      e.g. "I am in the bar"
+      Question ;    -- question, either yes/no or wh             e.g. "where are you"
+      -- Greeting ; -- idiomatic phrase, not inflected,          e.g. "hello"
+      Proposition ; -- can be turned into sentence or question   e.g. "this pizza is good"
+      Object ;      -- the object of wanting, ordering, etc      e.g. "three pizzas"
+      Item ;        -- a single entity                           e.g. "this pizza"
+      Kind ;        -- a type of an item                         e.g. "pizza"
+      Quality ;     -- qualification of an item, can be complex  e.g. "very good"
+      Property ;    -- basic property of an item, one word       e.g. "good"
+      Place ;       -- location                                  e.g. "the bar" 
+      PlaceKind ;   -- type of location                          e.g. "bar" 
+      Currency ;    -- currency unit                             e.g. "leu"  
+      Price ;       -- number of currency units                  e.g. "eleven leu"
+      Person ;      -- agent wanting or doing something          e.g. "you" 
+      Action ;      -- proposition about a Person                e.g. "you are here"
+      Nationality ; -- complex of language, property, country    e.g. "Swedish, Sweden"
+      Language ;    -- language (can be without nationality)     e.g. "Flemish"
+      Citizenship ; -- property (can be without language)        e.g. "Belgian"
+      Country ;     -- country (can be without language)         e.g. "Belgium"
+      Day ;         -- weekday type                              e.g. "Friday"
+      Date ;        -- definite date                             e.g. "on Friday"
+      Name ;        -- name of person                            e.g. "NN"
+      -- Numeral ;  -- number expression 1 .. 999,999            e.g. "twenty"
+
+ +Many of the categories are accessible as Phrases, i.e. as translation units. +
+    fun
+      PSentence    : Sentence -> Phrase ;
+      PQuestion    : Question -> Phrase ;
+  
+      PObject      : Object   -> Phrase ;
+      PKind        : Kind     -> Phrase ;
+      PQuality     : Quality  -> Phrase ;
+      PNumeral     : Numeral  -> Phrase ;
+      PPlace       : Place    -> Phrase ;
+      PPlaceKind   : PlaceKind-> Phrase ;
+      PCurrency    : Currency -> Phrase ;
+      PPrice       : Price    -> Phrase ;
+      PLanguage    : Language -> Phrase ;
+      PCitizenship : Citizenship -> Phrase ;
+      PCountry     : Country -> Phrase ;
+      PDay         : Day -> Phrase ;
+  
+      PYes, PNo : Phrase ;
+
+ +This is the way to build propositions about inanimate items. +
+      Is       : Item -> Quality -> Proposition ;  -- this pizza is good
+
+ +To use propositions on higher levels. +
+      SProp    : Proposition -> Sentence ;         -- this pizza is good
+      SPropNot : Proposition -> Sentence ;         -- this pizza isn't good
+      QProp    : Proposition -> Question ;         -- is this pizza good
+  
+      WherePlace  : Place  -> Question ;           -- where is the bar
+      WherePerson : Person -> Question ;           -- where are you
+
+ +This is the way to build propositions about persons. +
+      PropAction : Action -> Proposition ;         -- (you (are|aren't) | are you) Swedish
+
+ +Here are some general syntactic constructions. +
+      ObjItem   : Item -> Object ;                 -- this pizza
+      ObjNumber : Numeral -> Kind -> Object ;      -- five pizzas
+      ObjIndef  : Kind -> Object ;                 -- a pizza
+  
+      SuchKind : Quality -> Kind -> Kind ;         -- Italian pizza
+      Very : Property -> Quality ;                 -- very Italian
+      Too  : Property -> Quality ;                 -- too Italian      
+      PropQuality : Property -> Quality ;          -- Italian
+
+ +Determiners. +
+      This, That, These, Those : Kind -> Item ;    -- this pizza,...,those pizzas
+      The, Thes : Kind -> Item ;                   -- the pizza, the pizzas
+  
+      AmountCurrency : Numeral -> Currency -> Price ;  -- five euros
+  
+      ThePlace : PlaceKind -> Place ;                  -- the bar
+  
+      IMale, IFemale,                     -- I, said by man/woman (affects agreement)
+      YouFamMale, YouFamFemale,           -- familiar you, said to man/woman (affects agreement)
+      YouPolMale, YouPolFemale : Person ; -- polite you, said to man/woman (affects agreement)
+  
+      LangNat    : Nationality -> Language ;    -- Swedish
+      CitiNat    : Nationality -> Citizenship ; -- Swedish
+      CountryNat : Nationality -> Country ;     -- Sweden
+      PropCit    : Citizenship -> Property ;    -- Swedish
+  
+      OnDay      : Day -> Date ;  -- on Friday
+      Today      : Date ;         -- today
+  
+      PersonName : Name -> Person ;             -- person referred by name
+      NameNN     : Name ;                       -- the name "NN"
+
+ +Actions are typically language-dependent, not only lexically but also +structurally. However, these ones are mostly functorial. +
+      AHave    : Person -> Kind        -> Action ;  -- you have a pizza
+      ACitizen : Person -> Citizenship -> Action ;  -- you are Swedish
+      ABePlace : Person -> Place       -> Action ;  -- you are in the bar
+  
+  }
+
+ +

Words and idiomatic phrases of the Phrasebook

+
+  abstract Words = Sentences ** {
+  
+    fun
+
+ +kinds of items (so far mostly food stuff) +
+      Apple : Kind ;
+      Beer : Kind ;
+      Bread : Kind ; 
+      Cheese : Kind ;
+      Chicken : Kind ; 
+      Coffee : Kind ; 
+      Fish : Kind ; 
+      Meat : Kind ;
+      Milk : Kind ; 
+      Pizza : Kind ; 
+      Salt : Kind ; 
+      Tea : Kind ; 
+      Water : Kind ; 
+      Wine : Kind ;
+
+ +properties of kinds (so far mostly of food) +
+      Bad : Property ;
+      Boring : Property ;
+      Cheap : Property ; 
+      Cold : Property ; 
+      Delicious : Property ;  
+      Expensive : Property ; 
+      Fresh : Property ; 
+      Good : Property ;
+      Suspect : Property ;
+      Warm : Property ; 
+
+ +kinds of places +
+      Airport : PlaceKind ;
+      Bar : PlaceKind ;
+      Cinema : PlaceKind ;
+      Church : PlaceKind ;
+      Hospital : PlaceKind ;
+      Hotel : PlaceKind ;
+      Museum : PlaceKind ;
+      Park : PlaceKind ;
+      Restaurant : PlaceKind ;
+      School : PlaceKind ;
+      Shop : PlaceKind ;
+      Station : PlaceKind ;
+      Theatre : PlaceKind ; 
+      Toilet : PlaceKind ; 
+      University : PlaceKind ;
+
+ +currency units +
+      DanishCrown : Currency ;
+      Dollar : Currency ; 
+      Euro : Currency ;
+      Lei : Currency ;
+      SwedishCrown : Currency ;
+
+ +nationalities, countries, languages, citizenships +
+      Belgian : Citizenship ;
+      Belgium : Country ;
+      English : Nationality ;
+      Finnish : Nationality ;
+      Flemish : Language ;
+      French : Nationality ;
+      Italian : Nationality ;
+      Romanian : Nationality ;
+      Swedish : Nationality ;
+
+ +Actions (which can be expressed by different structures in different languages). +Notice that also negations and questions can be formed from these. +
+      AHasName    : Person -> Name -> Action ;      -- my name is Bond
+      AHungry     : Person -> Action ;              -- I am hungry
+      AIll        : Person -> Action ;              -- I am ill
+      AKnow       : Person -> Action ;              -- I (don't) know
+      ALike       : Person -> Item     -> Action ;  -- I like this pizza
+      ALive       : Person -> Country  -> Action ;  -- I live in Sweden
+      ALove       : Person -> Person   -> Action ;  -- I love you
+      AScared     : Person -> Action ;              -- I am scared
+      ASpeak      : Person -> Language -> Action ;  -- I speak Finnish
+      AThirsty    : Person -> Action ;              -- I am thirsty
+      ATired      : Person -> Action ;              -- I am tired
+      AUnderstand : Person -> Action ;              -- I (don't) understand
+      AWant       : Person -> Object -> Action ;    -- I want two beers
+      AWantGo     : Person -> Place -> Action ;     -- I want to go to the hospital
+
+ +miscellaneous phrases +
+      QWhatName      : Person -> Question ;            -- what is your name
+  
+      PropOpen       : Place -> Proposition ;          -- the museum is open
+      PropClosed     : Place -> Proposition ;          -- the museum is closed
+      PropOpenDate   : Place -> Date -> Proposition ;  -- the museum is open today
+      PropClosedDate : Place -> Date -> Proposition ;  -- the museum is closed today
+      PropOpenDay    : Place -> Day  -> Proposition ;  -- the museum is open on Mondays
+      PropClosedDay  : Place -> Day  -> Proposition ;  -- the museum is closed on Mondays
+  
+      HowMuchCost    : Item -> Question ;              -- how much does the pizza cost
+      ItCost         : Item -> Price -> Proposition ;  -- the pizza costs five euros
+
+ +week days +
+      Monday, Tuesday, Wednesday, Thursday, Friday, Saturday, Sunday : Day ;
+  
+  }
+
+ + + -- cgit v1.2.3