From c099cda676c24ed782586595101ad226aa9bb640 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 25 May 2010 11:31:08 +0000 Subject: remade phrasebook doc --- examples/phrasebook/Ontology.html | 64 +++++++++++++++++++++------------------ 1 file changed, 35 insertions(+), 29 deletions(-) (limited to 'examples/phrasebook/Ontology.html') diff --git a/examples/phrasebook/Ontology.html b/examples/phrasebook/Ontology.html index 098814653..e431598da 100644 --- a/examples/phrasebook/Ontology.html +++ b/examples/phrasebook/Ontology.html @@ -29,6 +29,7 @@ are defined in other modules. PrimObject ; -- single 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" + MassKind ; -- a type mass (uncountable) e.g. "water" 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" @@ -56,22 +57,23 @@ Many of the categories are accessible as Phrases, i.e. as translation units. PSentence : Sentence -> Phrase ; PQuestion : Question -> Phrase ; - PObject : Object -> Phrase ; - PKind : Kind -> Phrase ; - PQuality : Quality -> Phrase ; - PNumber : Number -> Phrase ; - PPlace : Place -> Phrase ; - PPlaceKind : PlaceKind-> Phrase ; - PCurrency : Currency -> Phrase ; - PPrice : Price -> Phrase ; - PLanguage : Language -> Phrase ; + PObject : Object -> Phrase ; + PKind : Kind -> Phrase ; + PMassKind : MassKind -> Phrase ; + PQuality : Quality -> Phrase ; + PNumber : Number -> 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 ; + PCountry : Country -> Phrase ; + PDay : Day -> Phrase ; PByTransport : ByTransport -> Phrase ; - PTransport : Transport -> Phrase ; + PTransport : Transport -> Phrase ; - PYes, PNo : Phrase ; + PYes, PNo, PYesToNo : Phrase ; -- yes, no, si/doch (pos. answer to neg. question) This is the way to build propositions about inanimate items. @@ -99,10 +101,12 @@ Here are some general syntactic constructions. ObjItem : Item -> PrimObject ; -- this pizza ObjNumber : Number -> Kind -> PrimObject ; -- five pizzas ObjIndef : Kind -> PrimObject ; -- a pizza + ObjMass : MassKind -> PrimObject ; -- water ObjAndObj : PrimObject -> Object -> Object ; -- this pizza and a beer OneObj : PrimObject -> Object ; -- this pizza SuchKind : Quality -> Kind -> Kind ; -- Italian pizza + SuchMassKind : Quality -> MassKind -> MassKind ; -- Italian water Very : Property -> Quality ; -- very Italian Too : Property -> Quality ; -- too Italian PropQuality : Property -> Quality ; -- Italian @@ -110,10 +114,11 @@ Here are some general syntactic constructions. Determiners. 
-      This, That, These, Those : Kind -> Item ;    -- this pizza,...,those pizzas
-      The, Thes : Kind -> Item ;                   -- the pizza, the pizzas
+      This, That, These, Those : Kind -> Item ;         -- this pizza,...,those pizzas
+      The, Thes : Kind -> Item ;                        -- the pizza, the pizzas
+      ThisMass, ThatMass, TheMass : MassKind -> Item ;  -- this/that/the water
   
-      AmountCurrency : Number -> Currency -> Price ;  -- five euros
+      AmountCurrency : Number -> Currency -> Price ;    -- five euros
   
       ThePlace : PlaceKind -> Place ;                   -- the bar
       APlace : PlaceKind -> Place ;                     -- a bar
@@ -141,7 +146,8 @@ Determiners.
 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
+      AHave     : Person -> Kind        -> Action ;  -- you have pizzas
+      AHaveMass : Person -> MassKind    -> Action ;  -- you have water
       AHaveCurr : Person -> Currency    -> Action ;  -- you have dollars
       ACitizen  : Person -> Citizenship -> Action ;  -- you are Swedish
       ABePlace  : Person -> Place       -> Action ;  -- you are in the bar
@@ -161,19 +167,19 @@ structurally. However, these ones are mostly functorial.
 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 ; 
+      Beer : MassKind ;
+      Bread : MassKind ; 
+      Cheese : MassKind ;
+      Chicken : MassKind ; 
+      Coffee : MassKind ; 
+      Fish : MassKind ; 
+      Meat : MassKind ;
+      Milk : MassKind ; 
       Pizza : Kind ; 
-      Salt : Kind ; 
-      Tea : Kind ; 
-      Water : Kind ; 
-      Wine : Kind ;
+      Salt : MassKind ; 
+      Tea : MassKind ; 
+      Water : MassKind ; 
+      Wine : MassKind ;
 

 
 properties of kinds (so far mostly of food)
-- 
cgit v1.2.3