summaryrefslogtreecommitdiff
path: root/examples
AgeCommit message (Expand)Author
2010-10-21added week day's names in SUMO for Bulgarian and Swedishkrasimir
2010-10-20functorized Query and added Sweaarne
2010-10-18in tutorial/smart remove the hack that forced the proof object to be resolvedkrasimir
2010-10-18forgot Birds.gfkrasimir
2010-10-18translation to English of the Birds dictionarykrasimir
2010-10-18small Swedish/Bulgarian dictionary of birds in SUMOkrasimir
2010-10-13generalize the nqueens function in NQueens.gfkrasimir
2010-10-13add start category S in NQueens. This helps the EditorApp to find the start c...krasimir
2010-10-13use "-" and ";" instead of "_" and "\n" in NQueenskrasimir
2010-10-11update NQueens to use: 1) lists i.e. [Nat]; 2) implicit argumentskrasimir
2010-10-10extended CountriesAndRegionsRon.gfkrasimir
2010-09-29extended Attempto with some constructsaarne
2010-09-28fixes in French morpho quiz grammaraarne
2010-09-21rename BucharestIndia to BucharestRomania. Agreed with Adam Peasekrasimir
2010-09-21added GeographyEngkrasimir
2010-09-21fixes in Basic.gf to avoid loops in the reasonerkrasimir
2010-09-20since Satellite is already subclass of AstronomicalBody we could simplify the...krasimir
2010-09-18few more fixes in CountriesAndRegionsEng.gfkrasimir
2010-09-18fix the linearization of GuineaBissaukrasimir
2010-09-18cleanup CountriesAndRegions and Mondial. For some reasonthe abstract syntax f...krasimir
2010-09-17fix typo: the linearization of Iraq was Irankrasimir
2010-09-17added MondialRon and CountriesAndRegionsRon with data imported from geonames.orgkrasimir
2010-09-17fix the compilation of CountriesAndRegionsEng.gfkrasimir
2010-09-17some comments in Mondial.gfkrasimir
2010-09-17remove Model and ProcessTask from MergeRon because they were already movedkrasimir
2010-09-17remove SubClassC and subClassCStm from BasicEng, BasicRon and BasicFrekrasimir
2010-09-06add QoSontologyEng and linearization for ProcessTaskkrasimir
2010-09-06added Model and ProcessTask in SumoFre and SumoRonramona.enache
2010-09-06changed SUMOFre encodingsramona.enache
2010-09-04added basic concepts of the SUMO ontology for French and Romanianramona.enache
2010-09-03kein Deutsch and some other Phrasebook fixesaarne
2010-09-02prepared German for kein Deutschaarne
2010-09-02word order in indirect 'how far' questions in Eng and Danaarne
2010-08-31linearization for PrimaryColor in SUMOkrasimir
2010-08-27embedded questions in phrasebookaarne
2010-08-25typo (?) in Dutch "cost"aarne
2010-08-25verbosity in make phrasebook ; removed own hacks in LexiconBulaarne
2010-08-25updates in Phrasebook and resourcesaarne
2010-08-24silence in Compile in phrasebookaarne
2010-08-23adjective forms fixed in Phrasebookaarne
2010-08-08linearizations for few class names in SUMOkrasimir
2010-07-31add coding=utf8 to BasicRon.gfkrasimir
2010-07-31move class Apple from MidLevelOntology to Economy for French and Romaniankrasimir
2010-07-21declare Provice as subclass of StateOrProvince in Mondial.gfkrasimir
2010-06-18Really adding QuerySpa to embedded.jordi.saludes
2010-06-18Added QuerySpa to tutorial/embedded.jordi.saludes
2010-07-13solve the ambiguity for double negation in SUMOkrasimir
2010-07-13for some reason the concrete syntax for MidLevelOntology was not in darcskrasimir
2010-07-07fix in example/tutorial/smart/SmartFre.gf to make the dependent types work ni...krasimir
2010-06-21grammar for messages startedaarne
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 18:23:07 +0000