From b3c302ca6fa99abaa5cbc3ed69f138aecc9d7e98 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 1 Jun 2010 22:48:43 +0000 Subject: updated phrasebook doc --- examples/phrasebook/Ontology.html | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'examples/phrasebook/Ontology.html') diff --git a/examples/phrasebook/Ontology.html b/examples/phrasebook/Ontology.html index 0765ac4e0..48059049a 100644 --- a/examples/phrasebook/Ontology.html +++ b/examples/phrasebook/Ontology.html @@ -147,12 +147,16 @@ Determiners. Actions are typically language-dependent, not only lexically but also structurally. However, these ones are mostly functorial. 
-      AHave     : Person -> Object      -> Action ;  -- you have pizzas
+      SHave       : Person -> Object      -> Sentence ;  -- you have beer
+      SHaveNo     : Person -> Kind        -> Sentence ;  -- you have no apples
+      SHaveNoMass : Person -> MassKind    -> Sentence ;  -- you have no beer
+      QDoHave     : Person -> Object      -> Question ;  -- do you have beer
+  
       AHaveCurr : Person -> Currency    -> Action ;  -- you have dollars
       ACitizen  : Person -> Citizenship -> Action ;  -- you are Swedish
       ABePlace  : Person -> Place       -> Action ;  -- you are in the bar
   
-      ByTransp : Transport -> ByTransport ;         -- by bus
+      ByTransp : Transport -> ByTransport ;          -- by bus
   
   }
-- cgit v1.2.3