 krasimir
|
696c4e89de
|
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
|
5b089655bd
|
fix typo: the linearization of Iraq was Iran
|
2010-09-17 18:32:34 +00:00 |
|
|
krasimir
|
86f4b782a4
|
added MondialRon and CountriesAndRegionsRon with data imported from geonames.org
|
2010-09-17 16:22:10 +00:00 |
|
|
krasimir
|
ea8375dc44
|
fix the compilation of CountriesAndRegionsEng.gf
|
2010-09-17 16:20:47 +00:00 |
|
|
krasimir
|
323df01cd2
|
some comments in Mondial.gf
|
2010-09-17 16:19:40 +00:00 |
|
|
krasimir
|
e286359a15
|
remove Model and ProcessTask from MergeRon because they were already moved
|
2010-09-17 16:16:36 +00:00 |
|
|
krasimir
|
009c5d6889
|
remove SubClassC and subClassCStm from BasicEng, BasicRon and BasicFre
|
2010-09-17 15:53:58 +00:00 |
|
|
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 |
|