600 Commits

Author	SHA1	Message	Date
krasimir	f3a4b5b709	add QoSontologyEng and linearization for ProcessTask	2010-09-06 09:12:49 +00:00
ramona.enache	1c457f0380	added Model and ProcessTask in SumoFre and SumoRon	2010-09-06 08:58:30 +00:00
ramona.enache	4a6d43e07b	changed SUMOFre encodings	2010-09-06 08:30:22 +00:00
ramona.enache	3a322e75f5	added basic concepts of the SUMO ontology for French and Romanian	2010-09-04 21:19:03 +00:00
aarne	dc64e18ef2	kein Deutsch and some other Phrasebook fixes	2010-09-03 09:02:00 +00:00
aarne	da15326109	prepared German for kein Deutsch	2010-09-02 16:48:22 +00:00
aarne	d93d426ed0	word order in indirect 'how far' questions in Eng and Dan	2010-09-02 16:18:35 +00:00
krasimir	5189820654	linearization for PrimaryColor in SUMO	2010-08-31 09:52:30 +00:00
aarne	d329d3b9d8	embedded questions in phrasebook	2010-08-27 15:14:06 +00:00
aarne	f77af89683	typo (?) in Dutch "cost"	2010-08-25 11:56:23 +00:00
aarne	36df81f051	verbosity in make phrasebook ; removed own hacks in LexiconBul	2010-08-25 11:30:16 +00:00
aarne	a10540263b	updates in Phrasebook and resources	2010-08-25 09:08:31 +00:00
aarne	1658aea60f	silence in Compile in phrasebook	2010-08-24 14:17:09 +00:00
aarne	27764081d1	adjective forms fixed in Phrasebook	2010-08-23 07:47:05 +00:00
krasimir	70297c5691	linearizations for few class names in SUMO	2010-08-08 10:38:31 +00:00
krasimir	694192db37	add coding=utf8 to BasicRon.gf	2010-07-31 14:27:57 +00:00
krasimir	e8fa8bd5e4	move class Apple from MidLevelOntology to Economy for French and Romanian	2010-07-31 13:54:01 +00:00
krasimir	3a48cefc3a	declare Provice as subclass of StateOrProvince in Mondial.gf	2010-07-21 11:58:51 +00:00
jordi.saludes	26a1beefb4	Really adding QuerySpa to embedded.	2010-06-18 15:53:47 +00:00
jordi.saludes	bf06b1d89d	Added QuerySpa to tutorial/embedded.	2010-06-18 11:48:36 +00:00
krasimir	2bc50e6536	solve the ambiguity for double negation in SUMO	2010-07-13 11:43:24 +00:00
krasimir	a8560f2cf1	for some reason the concrete syntax for MidLevelOntology was not in darcs	2010-07-13 08:04:53 +00:00
krasimir	cf8f0f089f	fix in example/tutorial/smart/SmartFre.gf to make the dependent types work nicely	2010-07-07 10:12:08 +00:00
aarne	24c5730840	grammar for messages started	2010-06-21 16:50:40 +00:00
aarne	b17edaa943	query language generalized and extended ; added README	2010-06-19 16:24:48 +00:00
aarne	d9c34ce848	query language extended and generalized	2010-06-19 10:29:06 +00:00
aarne	cca3039505	test script for query	2010-06-18 07:07:32 +00:00
aarne	286358f6ad	starting query language for MOLTO	2010-06-16 20:00:46 +00:00
krasimir	cfd034ab21	added equality proof in the constructor for natural trasformations	2010-06-14 11:21:52 +00:00
krasimir	ac8cf95064	fix typo in category theory	2010-06-07 12:56:05 +00:00
krasimir	1371f630b6	definitions for some high-order predicates that were missing	2010-06-06 12:10:49 +00:00
krasimir	db3eb23d5f	SUMO: remove the uggly SubClassC and use KappaFn instead	2010-06-06 11:44:51 +00:00
krasimir	8c9b63236f	changes in SUMO: formatting and fixes for lots of lots of small problems	2010-06-06 11:06:44 +00:00
aarne	9534ca0653	word for Shop in Swedish	2010-06-03 14:50:54 +00:00
aarne	e4e1103745	changed preposition in romance phrasebooks	2010-06-02 15:51:37 +00:00
hallgren	900b69eebd	Remove "Back to phrasebook link" from the help page, since it opens in a new window.	2010-06-02 13:36:10 +00:00
aarne	ca12f6385b	more edits in doc-phrasebook	2010-06-02 08:37:04 +00:00
aarne	d005f28d14	finishing phrasebook documentation ; changed doc name	2010-06-02 08:27:48 +00:00
aarne	c256a7def2	updated phrasebook doc	2010-06-01 22:48:43 +00:00
aarne	488d9ea75b	corrections in PhrasebookNor	2010-06-01 16:30:15 +00:00
adam.slaski	547f1b908a	bugfix part2	2010-05-30 09:12:22 +00:00
adam.slaski	4dd36f85ec	bugfix for Polish Phrasebook	2010-05-30 09:05:48 +00:00
krasimir	b2131f6f3f	some comments in the code for category theory	2010-06-01 06:56:34 +00:00
krasimir	cff7306033	El -> Obj in category theory	2010-06-01 06:12:30 +00:00
krasimir	fd42ab4aec	cleanup the code for category theory	2010-06-01 06:03:19 +00:00
krasimir	63b318b472	GCongratulations, GHappyBirthday and GGoodLuck in Bulgarian	2010-06-01 05:49:06 +00:00
aarne	d6e5d71dbd	fixes in PhrasebookGer and the inAcc_Prep	2010-05-29 21:14:13 +00:00
aarne	8b8f9ed1c2	non ho birra in Italian phrasebook	2010-05-29 10:38:12 +00:00
aarne	a7d3cfaf54	preposition for toilet in PhrasebookSwe	2010-05-29 10:22:49 +00:00
aarne	79e864c91b	more accurate treatment of negative "have" clauses in Phrasebook	2010-05-29 09:18:20 +00:00