diff options
| author | aarne <aarne@chalmers.se> | 2010-05-26 21:30:04 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-05-26 21:30:04 +0000 |
| commit | 48070392e8e9fc375de6cf6f408a8b41377b8d10 (patch) | |
| tree | 80568203558b9817f94ce5226d7d87beb008070a /examples/phrasebook/Ontology.html | |
| parent | 26fad2dfe283ffb8a2bf6f526900f90fbbfd30d8 (diff) | |
fixes in partitives in Phrasebook
Diffstat (limited to 'examples/phrasebook/Ontology.html')
| -rw-r--r-- | examples/phrasebook/Ontology.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/examples/phrasebook/Ontology.html b/examples/phrasebook/Ontology.html index e431598da..0765ac4e0 100644 --- a/examples/phrasebook/Ontology.html +++ b/examples/phrasebook/Ontology.html @@ -101,6 +101,7 @@ Here are some general syntactic constructions. ObjItem : Item -> PrimObject ; -- this pizza ObjNumber : Number -> Kind -> PrimObject ; -- five pizzas ObjIndef : Kind -> PrimObject ; -- a pizza + ObjPlural : Kind -> PrimObject ; -- pizzas ObjMass : MassKind -> PrimObject ; -- water ObjAndObj : PrimObject -> Object -> Object ; -- this pizza and a beer OneObj : PrimObject -> Object ; -- this pizza @@ -146,8 +147,7 @@ Determiners. Actions are typically language-dependent, not only lexically but also structurally. However, these ones are mostly functorial. <pre> - AHave : Person -> Kind -> Action ; -- you have pizzas - AHaveMass : Person -> MassKind -> Action ; -- you have water + AHave : Person -> Object -> Action ; -- you have pizzas AHaveCurr : Person -> Currency -> Action ; -- you have dollars ACitizen : Person -> Citizenship -> Action ; -- you are Swedish ABePlace : Person -> Place -> Action ; -- you are in the bar @@ -300,7 +300,7 @@ Notice that also negations and questions can be formed from these. 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 + AWant : Person -> Object -> Action ; -- I want two apples AWantGo : Person -> Place -> Action ; -- I want to go to the hospital </pre> |