626 Commits

Author	SHA1	Message	Date
krasimir	4f3b4bb19f	added week day's names in SUMO for Bulgarian and Swedish	2010-10-21 14:48:04 +00:00
aarne	8bffe71cd4	functorized Query and added Swe	2010-10-20 16:22:23 +00:00
krasimir	e36cc73b0f	in tutorial/smart remove the hack that forced the proof object to be resolved	2010-10-18 12:28:39 +00:00
krasimir	9723055350	forgot Birds.gf	2010-10-18 13:03:43 +00:00
krasimir	4e382e3306	translation to English of the Birds dictionary	2010-10-18 11:41:39 +00:00
krasimir	ca0214d6a1	small Swedish/Bulgarian dictionary of birds in SUMO	2010-10-18 08:55:51 +00:00
krasimir	82214f0be5	generalize the nqueens function in NQueens.gf	2010-10-13 17:53:44 +00:00
krasimir	95713b9489	add start category S in NQueens. This helps the EditorApp to find the start category	2010-10-13 13:53:29 +00:00
krasimir	354838807f	use "-" and ";" instead of "_" and "\n" in NQueens	2010-10-13 13:47:22 +00:00
krasimir	3ac637ddcb	update NQueens to use: 1) lists i.e. [Nat]; 2) implicit arguments	2010-10-11 17:17:04 +00:00
krasimir	d8aa316588	extended CountriesAndRegionsRon.gf	2010-10-10 13:10:21 +00:00
aarne	fe15579b31	extended Attempto with some constructs	2010-09-29 07:16:33 +00:00
aarne	8fa5a50728	fixes in French morpho quiz grammar	2010-09-28 16:52:48 +00:00
krasimir	fb15e95a07	rename BucharestIndia to BucharestRomania. Agreed with Adam Pease	2010-09-21 18:42:39 +00:00
krasimir	ef1a4ebc6e	added GeographyEng	2010-09-21 18:40:11 +00:00
krasimir	70d8765418	fixes in Basic.gf to avoid loops in the reasoner	2010-09-21 18:38:06 +00:00
krasimir	197c377c6d	since Satellite is already subclass of AstronomicalBody we could simplify the signature of NaturalSatellite_Class	2010-09-20 15:21:13 +00:00
krasimir	ef3f1c3883	few more fixes in CountriesAndRegionsEng.gf	2010-09-18 17:29:02 +00:00
krasimir	21445f9fea	fix the linearization of GuineaBissau	2010-09-18 17:12:52 +00:00
krasimir	f2051c33e6	cleanup CountriesAndRegions and Mondial. For some reasonthe abstract syntax for all countries was moved from CountriesAndRegions to Mondial. It is even more odd that there was a linearization for them both in CountriesAndRegions and Mondial	2010-09-18 08:57:50 +00:00
krasimir	905aeb9904	fix typo: the linearization of Iraq was Iran	2010-09-17 18:32:34 +00:00
krasimir	e30f2212b9	added MondialRon and CountriesAndRegionsRon with data imported from geonames.org	2010-09-17 16:22:10 +00:00
krasimir	e1ed8277a9	fix the compilation of CountriesAndRegionsEng.gf	2010-09-17 16:20:47 +00:00
krasimir	d2a17f02d7	some comments in Mondial.gf	2010-09-17 16:19:40 +00:00
krasimir	18e09d6483	remove Model and ProcessTask from MergeRon because they were already moved	2010-09-17 16:16:36 +00:00
krasimir	f1078b44b6	remove SubClassC and subClassCStm from BasicEng, BasicRon and BasicFre	2010-09-17 15:53:58 +00:00
krasimir	e099336afa	add QoSontologyEng and linearization for ProcessTask	2010-09-06 09:12:49 +00:00
ramona.enache	8c2e696f27	added Model and ProcessTask in SumoFre and SumoRon	2010-09-06 08:58:30 +00:00
ramona.enache	4143834e69	changed SUMOFre encodings	2010-09-06 08:30:22 +00:00
ramona.enache	1edd84c21a	added basic concepts of the SUMO ontology for French and Romanian	2010-09-04 21:19:03 +00:00
aarne	9fc58ce0e7	kein Deutsch and some other Phrasebook fixes	2010-09-03 09:02:00 +00:00
aarne	1527d470ec	prepared German for kein Deutsch	2010-09-02 16:48:22 +00:00
aarne	952fb7685b	word order in indirect 'how far' questions in Eng and Dan	2010-09-02 16:18:35 +00:00
krasimir	31ee0bc804	linearization for PrimaryColor in SUMO	2010-08-31 09:52:30 +00:00
aarne	db06000701	embedded questions in phrasebook	2010-08-27 15:14:06 +00:00
aarne	68d04c9136	typo (?) in Dutch "cost"	2010-08-25 11:56:23 +00:00
aarne	f6b7d46892	verbosity in make phrasebook ; removed own hacks in LexiconBul	2010-08-25 11:30:16 +00:00
aarne	c67a50b869	updates in Phrasebook and resources	2010-08-25 09:08:31 +00:00
aarne	acb838eb79	silence in Compile in phrasebook	2010-08-24 14:17:09 +00:00
aarne	bf6857f43e	adjective forms fixed in Phrasebook	2010-08-23 07:47:05 +00:00
krasimir	a4cf8b2a52	linearizations for few class names in SUMO	2010-08-08 10:38:31 +00:00
krasimir	f5fb69d3cd	add coding=utf8 to BasicRon.gf	2010-07-31 14:27:57 +00:00
krasimir	d78aaf18da	move class Apple from MidLevelOntology to Economy for French and Romanian	2010-07-31 13:54:01 +00:00
krasimir	b128872e2d	declare Provice as subclass of StateOrProvince in Mondial.gf	2010-07-21 11:58:51 +00:00
jordi.saludes	f641b0c572	Really adding QuerySpa to embedded.	2010-06-18 15:53:47 +00:00
jordi.saludes	2007b75ab8	Added QuerySpa to tutorial/embedded.	2010-06-18 11:48:36 +00:00
krasimir	8cdb33031d	solve the ambiguity for double negation in SUMO	2010-07-13 11:43:24 +00:00
krasimir	d7f76c6d62	for some reason the concrete syntax for MidLevelOntology was not in darcs	2010-07-13 08:04:53 +00:00
krasimir	c066721dd1	fix in example/tutorial/smart/SmartFre.gf to make the dependent types work nicely	2010-07-07 10:12:08 +00:00
aarne	3714a7e3b4	grammar for messages started	2010-06-21 16:50:40 +00:00