short-phrase translation; added Swe; started doc in Phrasebook

This commit is contained in:
aarne
2010-03-28 15:28:02 +00:00
parent 2925edd088
commit 3903b6b852
20 changed files with 199 additions and 56 deletions

View File

@@ -1,10 +1,21 @@
abstract Sentences = Numeral ** {
cat
Phrase ;
Sentence ; Question ; Object ; Item ; Kind ; Quality ;
Place ; PlaceKind ; Currency ; Price ;
fun
-- these phrases are formed here, not in Phrasebook, as they are functorial
PObject : Object -> Phrase ;
PKind : Kind -> Phrase ;
PQuality : Quality -> Phrase ;
PNumeral : Numeral -> Phrase ;
PPlace : Place -> Phrase ;
PPlaceKind: PlaceKind-> Phrase ;
PCurrency : Currency -> Phrase ;
PPrice : Price -> Phrase ;
Is : Item -> Quality -> Sentence ;
IsNot : Item -> Quality -> Sentence ;