Qiao's corrections in PhrasebookChi. This replaces the old, partial and low-quality version and is hence the first Chinese phrasebook version that can claim high quality.

This commit is contained in:
aarne
2014-07-16 21:07:34 +00:00
parent 47e185679f
commit 423fa50994
2 changed files with 168 additions and 111 deletions

View File

@@ -1,11 +1,13 @@
concrete SentencesChi of Sentences = NumeralChi ** SentencesI - [APlace,ThePlace]
concrete SentencesChi of Sentences = NumeralChi ** SentencesI - [QWhereModVerbPhrase, APlace,ThePlace, PropCit, CitiNat, ACitizen, Nationality, CitizenShip, ByTransp, GObjectPlease, AKnowPerson, QDoHave , QWhereDoVerbPhrase, SHaveNo, AHaveCurr]
with
(Syntax = SyntaxChi),
(Symbolic = SymbolicChi),
(Lexicon = LexiconChi) ** open SyntaxChi in {
(Lexicon = LexiconChi) ** open SyntaxChi, (P = ParadigmsChi) in {
flags coding=utf8 ;
lincat
Citizenship = N ;
Nationality = {lang : NP ; country : NP; prop : A };
lin
ThePlace kind =
let name : NP = lin NP (Syntax.mkNP theSg_Det kind.name) in {
@@ -20,4 +22,41 @@ lin
to = mkAdv kind.to (lin NP name)
} ;
ACitizen p n = mkCl p.name (lin N {s = n.s ++ "人" } ) ; -- to get 俄罗斯人, not 俄罗斯(人)的 ;
CitiNat n = n.prop ; -- lin A { s = n.prop.s ++ "人" ; lock_A = <> ; monoSyl = False} ;
PropCit c = lin A { s = c.s ; lock_A = <>; monoSyl = True } ;
ByTransp t = t.by ;
QWhereModVerbPhrase m p vp = mkQS (mkQCl zai_where_IAdv (mkCl p.name (mkVP m vp))) ;
GObjectPlease o = lin Text (mkPhr noPConj (mkUtt o) please_shang_Voc) | lin Text (mkUtt o) ;
AKnowPerson p q = mkCl p.name (P.mkV2 "认识") q.name ;
QDoHave p obj = mkQS (mkQCl (mkCl p.name have_V2 obj)) ;
QWhereDoVerbPhrase p vp = mkQS (mkQCl qu_where_IAdv (mkCl p.name vp)) ;
SHaveNo p k = mkS negativePol (mkCl p.name have_V2 (mkNP k)) ;
AHaveCurr p curr = mkCl p.name have_V2 (mkNP curr) ;
MCan = can_VV ;
MWant = want_VV ;
MMust = must_VV ;
oper
qu_where_IAdv = mkIAdvL "去哪里" ;
zai_where_IAdv = mkIAdvL "在哪里" ;
where_m_IAdv : VV -> SS = \m -> mkIAdvL m.s ; -- ( "想在哪里" ) ;
have_or_not_V2 = P.mkV2 (P.mkV "有没有" "了" "着" "在" "过" "没") ;
please_shang_Voc : SS = ss "请上" ;
}

View File

@@ -39,7 +39,7 @@ Expensive = (mkA "昂贵" ) ;
Fresh = (mkA "新鲜" ) ;
Good = (mkA "好" ) ;
Suspect = mkA "可疑" ;
Warm = L.warm_A ;
Warm = (mkA "热") ; -- L.warm_A ;
-- Places require different prepositions to express location; in some languages
-- also the directional preposition varies, but in English we use $to$, as
@@ -58,7 +58,7 @@ Hospital = mkPlace (mkN "医院" ) ;
Hotel = mkPlace (mkN "旅馆" ) ;
Museum = mkPlace (mkN "博物馆" ) ;
Park = mkPlace (mkN "公园" ) ;
Parking = mkPlace (mkN "地方停车") ;
Parking = mkPlace (mkN "停车") ;
Pharmacy = mkPlace (mkN "药店") ;
PostOffice = mkPlace (mkN "邮局") ;
Pub = mkPlace (mkN "酒吧") ;
@@ -77,91 +77,102 @@ CitRestaurant cit = mkCNPlace (mkCN cit L.restaurant_N) at_Prep noPrep ;
-- Currencies; $crown$ is ambiguous between Danish and Swedish crowns.
-- DanishCrown = mkCN (mkA (R.thword "เดน" "มาร์ค")) (mkN "โครน") | mkCurrency "โครน" ; ---#
-- Dollar = mkCurrency (R.thword "ดอล" "ล่า" "ห์") ;
-- Euro = mkCurrency (R.thword "ยู" "โร") ;
-- Lei = mkCurrency "ลี" ;
-- Leva = mkCurrency (R.thword "ลี" "วา") ;
-- NorwegianCrown = mkCN (mkA (R.thword "นอร" "เว" "ย์")) (mkN "โครน") | mkCurrency "โครน" ;
-- Pound = mkCurrency (R.thword "ปอน" "ด์") ;
-- Rouble = mkCurrency (R.thword "รู" "เบิล") ;
-- SwedishCrown = mkCN (mkA (R.thword "สวี" "ดิช")) (mkN "โครน") | mkCurrency "โครน" ;
-- Zloty = mkCurrency (R.thword "สะ" "ลอ" "ตี้") ;
Dollar = mkCN (mkN "美元") ;
DanishCrown = mkCN (mkN "丹麦克朗") ;
Euro = mkCN (mkN "欧元") ;
Lei = mkCN (mkN "列弗") ;
Leva = mkCN (mkN "列伊") ;
Pound = mkCN (mkN "英镑") ;
Rouble = mkCN (mkN "卢布") ;
SwedishCrown = mkCN (mkN "瑞典克朗") ;
Zloty = mkCN (mkN "兹罗提") ;
NorwegianCrown = mkCN (mkN "挪威克朗") ;
-- Nationalities
-- Belgian = mkA (R.thword "เบล" "เยี่ยน") ;
-- Belgium = mkNP (mkPN (R.thword "เบล" "เยี่ยม")) ;
-- Bulgarian = mkNat (R.thword "บัล" "แก" "เรียน") ;
-- Catalan = mkNat (R.thword "คะ" "ตะ" "ลัน") ;
-- Danish = mkNat (R.thword "เดน" "นิช") ;
-- Dutch = mkNat (R.thword "ดัทช์") ;
-- English = mkNat (R.thword "อัง" "กฤษ") ;
-- Finnish = mkNat (R.thword "ฟิน" "นิช") ;
-- Flemish = mkNP (mkPN (R.thword "เฟลม" "มิช")) ;
-- French = mkNat (R.thword "ฝรั่ง" "เศส") ;
-- German = mkNat (R.thword "เยอร" "มัน") ;
-- Italian = mkNat (R.thword "อิ" "ตา" "เลียน") ;
-- Norwegian = mkNat (R.thword "นอร" "เวย์" "เจี้ยน") ;
-- Polish = mkNat (R.thword "โป" "ลิช") ;
-- Romanian = mkNat (R.thword "โร" "มา" "เนียน") ;
-- Russian = mkNat (R.thword "รัส" "เซียน") ;
-- Spanish = mkNat (R.thword "สแปน" "นิช") ;
-- Swedish = mkNat (R.thword "สวี" "ดิช") ;
Belgian = mkA ( "比利时") ;
Belgium = mkNP (mkPN "比利时" ) ;
Bulgarian = mkNat "保加利亚语" "保加利亚" ;
Catalan = mkNat "加泰罗尼亚语" "加泰罗尼亚" ;
Danish = mkNat "丹麦语" "丹麦" ;
Dutch = mkNat "荷兰语" "荷兰" ;
English = mkNat "英语" "英国" ;
Finnish = mkNat "芬兰语" "芬兰" ;
Flemish = mkNP (mkPN "佛兰德语") ;
French = mkNat "法语" "法国" ;
German = mkNat "德语" "德国" ;
Italian = mkNat "意大利语" "意大利" ;
Norwegian = mkNat "挪威语" "挪威";
Polish = mkNat "波兰语" "波兰" ;
Romanian = mkNat "罗马尼亚语" "罗马尼亚" ;
Russian = mkNat "俄语" "俄罗斯" ;
Spanish = mkNat "西班牙语" "西班牙" ;
Swedish = mkNat "瑞典语" "瑞典" ;
Chinese = mkNat "汉语" "中国" ;
-- Means of transportation
Bike = mkTransport L.bike_N ;
Bus = mkTransport (mkN "公共汽车" ) ;
Car = mkTransport L.car_N ;
Ferry = mkTransport (mkN "渡船") ;
Plane = mkTransport L.airplane_N ;
Subway = mkTransport (mkN "地铁") ;
Taxi = mkTransport (mkN "出租车") ;
Train = mkTransport L.train_N ;
Tram = mkTransport (mkN "电车") ;
Bike = mkTransport L.bike_N (mkV "骑") ;
Bus = mkTransport (mkN "公共汽车" ) (mkV "乘") ;
Car = mkTransport L.car_N (mkV "开") ;
Ferry = mkTransport (mkN "渡船") (mkV "乘") ;
Plane = mkTransport L.airplane_N (mkV "坐") ;
Subway = mkTransport (mkN "地铁") (mkV "坐") ;
Taxi = mkTransport (mkN "出租车") (mkV "乘") ;
Train = mkTransport L.train_N (mkV "乘") ;
Tram = mkTransport (mkN "电车") (mkV "乘") ;
-- ByFoot = P.mkAdv (R.thword "ด้วย" "การ" "เดิน") ;
ByFoot = P.mkAdv ("步行") ;
-- Actions: the predication patterns are very often language-dependent.
AHasAge p nu = mkCl (lin NP {s = p.name.s ++ nu.s}) (mkV "岁") ; ----
AHasChildren p num = mkCl p.name have_V2 (mkNP num L.child_N) ;
AHasRoom p num = mkCl p.name have_V2
(mkNP (mkNP a_Det (mkN "房间" ) ) (SyntaxChi.mkAdv for_Prep (mkNP num (L.person_N ) ))) ;
(mkNP (mkNP a_Det (mkN "房间" ) ) (SyntaxChi.mkAdv for_gei_Prep (mkNP num (L.person_N ) ))) ;
AHasTable p num = mkCl p.name have_V2
(mkNP (mkNP a_Det L.table_N ) (SyntaxChi.mkAdv for_Prep (mkNP num (L.person_N ) ))) ;
(mkNP (mkNP a_Det L.table_N ) (SyntaxChi.mkAdv for_gei_Prep (mkNP num (L.person_N ) ))) ;
AHasName p name = mkCl p.name (mkV2 "叫") name ;
AHungry p = mkCl p.name (mkA "饿") ;
AIll p = mkCl p.name (mkA "生病" ) ;
-- AHungry p = mkCl p.name (mkA "饿") ;
AHungry p = mkCl p.name (mkV "饿了") ;
-- AIll p = mkCl p.name (mkA "生病" ) ;
AIll p = mkCl p.name (mkV "生病了") ;
AKnow p = mkCl p.name <lin V L.know_V2 : V> ;
ALike p item = mkCl p.name (L.like_V2 ) item ;
ALive p co = mkCl p.name (mkV2 (mkV "住")) co ;
ALove p q = mkCl p.name L.love_V2 q.name ;
AMarried p = mkCl p.name (mkAP L.married_A2) ;
AMarried p = mkCl p.name (mkA "已婚") ;
AReady p = mkCl p.name L.ready_A ;
-- AReady p = mkCl p.name (mkV "准备好了") ;
AScared p = mkCl p.name (mkA "惊慌") ;
ASpeak p lang = mkCl p.name L.speak_V2 lang ;
AThirsty p = mkCl p.name (mkA "渴") ;
ATired p = mkCl p.name (mkA "") ;
-- AThirsty p = mkCl p.name (mkA "渴") ;
AThirsty p = mkCl p.name (mkV "渴了") ;
-- ATired p = mkCl p.name (mkA "累") ;
ATired p = mkCl p.name (lin V (mkV "累了")) ;
AUnderstand p = mkCl p.name (lin V (mkV "理解" ) ) ;
AWant p obj = mkCl p.name (mkV2 "要") obj ;
AWantGo p place = mkCl p.name want_VV (mkVP (mkVP L.go_V) place.to) ;
AWantGo p place = mkCl p.name want_VV (mkVP L.go_V place.name) ;
-- LangNat l = l.lang ; -- ++ "语" ;
-- miscellaneous
QWhatName p = lin QS {s = \\_ => p.name.s ++ R.word "贵姓"} ; ---
QWhatAge p = lin QS {s = \\_ => p.name.s ++ (R.word "几岁" | R.word "多大")} ; ---
HowMuchCost item = lin QS {s = \\_ => item.s ++ R.word "是多少"} ;
ItCost item price = mkCl item (mkV2 "成本") price ;
QWhatName p = lin QS {s = \\_ => p.name.s ++ R.word "贵姓"} ; ---
QWhatAge p = lin QS {s = \\_ => p.name.s ++ (R.word "几岁" | R.word "多大")} ; ---
HowMuchCost item = lin QS {s = \\_ => item.s ++ R.word "是多少"} ;
ItCost item price = mkCl item (mkV2 "") price ;
PropOpen p = mkCl p.name (mkA "开放" ) ;
PropClosed p = mkCl p.name closed_A ;
PropClosed p = mkCl p.name closed_A ;
PropOpenDate p d = mkCl p.name (mkVP (mkVP (mkA "开放" ) ) d) ;
PropClosedDate p d = mkCl p.name (mkVP (mkVP closed_A) d) ;
PropOpenDay p d = mkCl p.name (mkVP (mkVP (mkA "开放" ) ) d.habitual) ;
PropClosedDay p d = mkCl p.name (mkVP (mkVP closed_A) d.habitual) ;
-- PropCit c = lin A { s = c.s ; lock_A = <>; monoSyl = True } ;
-- Building phrases from strings is complicated: the solution is to use
-- mkText : Text -> Text -> Text ;
@@ -201,13 +212,16 @@ TheMostExpensive = mkSuperl (mkA "昂贵" ) ;
TheMostPopular = mkSuperl (mkA "流行" ) ;
TheWorst = mkSuperl L.bad_A ;
SuperlPlace sup p = placeNP sup p ;
SuperlPlace sup p = placeNP sup p ;
-- transports
HowFar place = lin QS {s = \\_ => place.name.s ++ R.word "有多远"} ;
HowFarFrom x y = lin QS {s = \\_ => "从" ++ x.name.s ++ "到" ++ y.name.s ++ R.word "有多远"} ; ----
-- HowFarFromBy x y t =
@@ -216,101 +230,105 @@ HowFarFrom x y = lin QS {s = \\_ => "从" ++ x.name.s ++ "到" ++ y.name.s ++ R.
-- mkQS (mkQCl howFar.how (mkCl (mkNP y.name howFar.far)
-- (SyntaxChi.mkAdv from_Prep (mkNP x.name t)))) ;
-- HowFarBy y t = mkQS (mkQCl howFar.how (mkCl (mkNP y.name howFar.far) <t : AP>)) ;
-- WhichTranspPlace trans place =
-- mkQS (mkQCl (mkIP which_IDet trans.name) (mkVP (mkVP L.go_V) place.to)) ;
-- IsTranspPlace trans place =
-- mkQS (mkQCl (mkCl (mkCN (mkCN trans.name (mkSC (mkVP L.go_V))) place.to))) ;
HowFarBy y t = lin QS {s = \\_ => t.s ++ "到" ++ y.name.s ++ R.word "有多远" } ;
WhichTranspPlace trans place =
mkQS (mkQCl (mkIP which_IDet trans.name)(mkVP (mkV2 "去") place.name)) ;
IsTranspPlace trans place =
mkQS (mkQCl (mkCl (R.mkNP ( L.go_V.s ++ place.name.s ++ "的" ++ trans.name.s) ))) ;
-- auxiliaries
oper
mkNat : Str -> NPNationality = \nat ->
mkNPNationality (mkNP (mkCN (mkA nat) L.language_N)) (mkNP (mkCN (mkA nat) L.country_N)) (mkA nat) ;
mkNat : Str -> Str -> NPNationality = \lang, co -> mkNPNationality (mkNP (mkPN lang)) (mkNP (mkPN co)) (mkA co) ;
mkDay : Str -> {name : NP ; point : SyntaxChi.Adv ; habitual : SyntaxChi.Adv} = \d ->
let day = mkNP (mkPN d) in
mkNPDay day (SyntaxChi.mkAdv noPrep day)
(SyntaxChi.mkAdv noPrep (mkNP a_Quant plNum (mkCN (mkN d)))) ;
(SyntaxChi.mkAdv noPrep (mkNP (mkCN (mkN d)))) ;
mkPlace : N -> {name : CN ; at : Prep ; to : Prep; isPl : Bool} = \p ->
mkCNPlace (mkCN p) at_Prep noPrep ;
placeN : Str -> N = \s -> mkN s "间" ;
-- open_A = P.mkA "เปิด" ;
closed_A = P.mkA "关闭" ;
closed_or_not_A = P.mkA "不是关闭" ;
xOf : N -> NPPerson -> NPPerson = \f,p ->
{name = mkNP the_Det (mkCN f (SyntaxChi.mkAdv possess_Prep p.name)) ;
isPron = False ; poss = the_Quant} ; ---- poss not used
by_Prep = mkPrep "乘" [] mannerAdvType ;
mkTransport : N -> {name : CN ; by : SyntaxChi.Adv} = \n -> {
mkTransport : N -> V -> {name : CN ; by : SyntaxChi.Adv ; way : V } = \n,m -> {
name = mkCN n ;
by = SyntaxChi.mkAdv by8means_Prep (mkNP n)
-- by = SyntaxChi.mkAdv by8means_Prep (mkNP n);
by = SyntaxChi.mkAdv by_Prep (mkNP n) ;
way = m;
} ;
mkSuperl : A -> Det = \a -> SyntaxChi.mkDet the_Art (SyntaxChi.mkOrd a) ;
mkSuperl : A -> Det = \a -> SyntaxChi.mkDet the_Art ({s = ResChi.superlative_s ++ a.s ++ R.word "的那"}) ; -- (SyntaxChi.mkOrd a) ;
-- mkCurrency : Str -> CN = \s -> mkCN (mkN [] s) ; ---- just a classifier
-- howFar : {howfar : IComp ; far : Adv ; how : IAdv} = { --- to avoid yuu
-- howfar = lin IComp (ss ("ไกล" + "เท่า" + "ไร")) ; far = lin Adv (ss ("ไกล" + "เท่า" + "ไร")) ; how = lin IAdv (ss [])
-- } ;
at_Prep = (mkPrep "在" ) ;
noPrep = mkPrep [] ;
for_gei_Prep = mkPrep "给" ;
--------------------------------------------------
-- New 30/11/2011 AR
--------------------------------------------------
-- lin
-- Thai = mkNat "ไทย" ;
-- Baht = mkCurrency "บาท" ;
lin
Thai = mkNat "泰国" "泰语" ;
Baht = mkCN (mkN "泰铢") ;
-- Rice = mkCN (mkN ("ข้าว")) ;
-- Pork = mkCN (mkN ("หมู")) ;
-- Beef = mkCN (mkN ("เนื้อ")) ;
-- Egg = mkCN L.egg_N ;
-- Noodles = mkCN (mkN (R.thword "ก๋วย" "เตี๋ยว")) ;
-- Shrimps = mkCN (mkN ("กุ้ง")) ;
-- Chili = mkCN (mkN "พริก") ;
-- Garlic = mkCN (mkN (R.thword "กะ" "เทียม")) ;
-- Durian = mkCN (mkN (R.thword "ทุ" "เรียน")) ;
-- Mango = mkCN (mkN (R.thword "มะ" "ม่วง")) ;
-- Pineapple = mkCN (mkN (R.thword "สับ" "ปะ" "รด")) ;
-- Coke = mkCN (mkN ("โค้ก")) ;
-- IceCream = mkCN (mkN (R.thword "ไอ" "ศ" "กรีม")) ;
-- Salad = mkCN (mkN "สลัด") ;
-- OrangeJuice = mkCN (mkN (R.thword "น้ำ" "ส้ม" "คั้น")) ;
-- Lemonade = mkCN (mkN (R.thword "น้ำ" "มะ" "นาว")) ;
-- Beach = mkPlace (placeN (R.thword "หาด")) ;
Rice = mkCN (mkN ("米饭")) ;
Pork = mkCN (mkN ("猪肉")) ;
Beef = mkCN (mkN ("牛肉")) ;
Egg = mkCN L.egg_N ;
Noodles = mkCN (mkN "面条") ;
Shrimps = mkCN (mkN "虾") ;
Chili = mkCN (mkN "辣椒") ;
Garlic = mkCN (mkN "大蒜") ;
Durian = mkCN (mkN "榴莲") ;
Mango = mkCN (mkN "芒果") ;
Pineapple = mkCN (mkN "菠萝") ;
Coke = mkCN (mkN ("可乐")) ;
IceCream = mkCN (mkN "冰激凌") ;
Salad = mkCN (mkN "色拉") ;
OrangeJuice = mkCN (mkN "橙汁") ;
Lemonade = mkCN (mkN "柠檬汁") ;
Beach = mkPlace (placeN "海滩") ;
-- ItsRaining = mkCl (mkVP L.rain_V0) ;
-- ItsCold = mkCl (mkVP L.cold_A) ;
-- ItsWarm = mkCl (mkVP L.warm_A) ;
-- ItsWindy = mkCl (mkVP (P.mkA (R.thword "ลม" "จัด"))) ;
-- SunShine = mkCl (mkNP the_Det L.sun_N) (mkVP (R.regV (R.thword "ฉาย" "แสง"))) ;
ItsRaining = mkCl (mkVP L.rain_V0) ;
ItsCold = mkCl (mkVP L.cold_A) ;
ItsWarm = mkCl (mkVP L.warm_A) ;
ItsWindy = mkCl (mkVP (P.mkA ("有风"))) ;
SunShine = mkCl (mkNP the_Det L.sun_N) (mkA "很大") ;
-- Smoke = mkVP (P.mkV (R.thword "สูบ" "บุ" "รี")) ;
Smoke = mkVP (P.mkV ( "吸烟" )) ;
-- ADoctor = mkProfession (P.personN "หมอ") ;
-- AProfessor = mkProfession (P.personN (R.thword "อา" "จารย์")) ;
-- ALawyer = mkProfession (P.personN (R.thword "มัก" "กฎ" "หมาย")) ;
-- AEngineer = mkProfession (P.personN (R.thword "วิ" "ศวกร")) ;
-- ATeacher = mkProfession (P.personN "ครู") ;
-- ACook = mkProfession (P.personN (R.thword "ภัก" "ษกาน")) ;
-- AStudent = mkProfession (P.personN (R.thword "นัก" "ศึก" "ษา")) ;
-- ABusinessman = mkProfession (P.personN (R.thword "ฝู้" "ประ" "กอบ" "การ")) ;
ADoctor = mkProfession (mkN "医生") ;
AProfessor = mkProfession (mkN "教授") ;
ALawyer = mkProfession (mkN "律师") ;
AEngineer = mkProfession (mkN "工程师") ;
ATeacher = mkProfession (mkN "教师") ;
ACook = mkProfession (mkN "厨师") ;
AStudent = mkProfession (mkN "学生") ;
ABusinessman = mkProfession (mkN "商人") ;
oper
mkProfession : N -> NPPerson -> Cl = \n,p -> mkCl p.name n ;
-- oper
-- mkProfession : N -> NPPerson -> Cl = \n,p -> mkCl p.name n ;
--}
}