GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity
Files
ba98fb8698fbd9335bb6fb34ea8fcaa71b3fdcf1
gf-core/examples/SUMO
History
aarne 3506b313c1 format .gfm for multiple modules in the same file; includes lines with ;-separated words
2010-11-30 14:50:24 +00:00
..
axioms
SUMO axioms
2010-02-17 11:12:43 +00:00
RGLExt
format .gfm for multiple modules in the same file; includes lines with ;-separated words
2010-11-30 14:50:24 +00:00
TPTP
WordsRonSumoFre
2010-04-18 13:55:44 +00:00
Basic.gf
fixes in Basic.gf to avoid loops in the reasoner
2010-09-21 18:38:06 +00:00
BasicBul.gf
small Swedish/Bulgarian dictionary of birds in SUMO
2010-10-18 08:55:51 +00:00
BasicEng.gf
fixed SUMOEng with open instead of import for the Extension module
2010-11-28 19:38:56 +00:00
BasicFre.gf
remove SubClassC and subClassCStm from BasicEng, BasicRon and BasicFre
2010-09-17 15:53:58 +00:00
BasicRon.gf
remove SubClassC and subClassCStm from BasicEng, BasicRon and BasicFre
2010-09-17 15:53:58 +00:00
BasicSwe.gf
small Swedish/Bulgarian dictionary of birds in SUMO
2010-10-18 08:55:51 +00:00
Birds.gf
forgot Birds.gf
2010-10-18 13:03:43 +00:00
BirdsBul.gf
small Swedish/Bulgarian dictionary of birds in SUMO
2010-10-18 08:55:51 +00:00
BirdsEng.gf
translation to English of the Birds dictionary
2010-10-18 11:41:39 +00:00
BirdsSwe.gf
small Swedish/Bulgarian dictionary of birds in SUMO
2010-10-18 08:55:51 +00:00
Communications.gf
changes in SUMO: formatting and fixes for lots of lots of small problems
2010-06-06 11:06:44 +00:00
CountriesAndRegions.gf
rename BucharestIndia to BucharestRomania. Agreed with Adam Pease
2010-09-21 18:42:39 +00:00
CountriesAndRegionsEng.gf
rename BucharestIndia to BucharestRomania. Agreed with Adam Pease
2010-09-21 18:42:39 +00:00
CountriesAndRegionsRon.gf
extended CountriesAndRegionsRon.gf
2010-10-10 13:10:21 +00:00
Economy.gf
changes in SUMO: formatting and fixes for lots of lots of small problems
2010-06-06 11:06:44 +00:00
EconomyEng.gf
changes in SUMO: formatting and fixes for lots of lots of small problems
2010-06-06 11:06:44 +00:00
EconomyFre.gf
move class Apple from MidLevelOntology to Economy for French and Romanian
2010-07-31 13:54:01 +00:00
EconomyRon.gf
move class Apple from MidLevelOntology to Economy for French and Romanian
2010-07-31 13:54:01 +00:00
Elements.gf
changes in SUMO: formatting and fixes for lots of lots of small problems
2010-06-06 11:06:44 +00:00
ElementsEng.gf
changes in SUMO: formatting and fixes for lots of lots of small problems
2010-06-06 11:06:44 +00:00
Engineering.gf
changes in SUMO: formatting and fixes for lots of lots of small problems
2010-06-06 11:06:44 +00:00
EngineeringEng.gf
linearizations for few class names in SUMO
2010-08-08 10:38:31 +00:00
EngineeringFre.gf
added Model and ProcessTask in SumoFre and SumoRon
2010-09-06 08:58:30 +00:00
EngineeringRon.gf
added Model and ProcessTask in SumoFre and SumoRon
2010-09-06 08:58:30 +00:00
FinancialOntology.gf
changes in SUMO: formatting and fixes for lots of lots of small problems
2010-06-06 11:06:44 +00:00
Geography.gf
since Satellite is already subclass of AstronomicalBody we could simplify the signature of NaturalSatellite_Class
2010-09-20 15:21:13 +00:00
GeographyEng.gf
added GeographyEng
2010-09-21 18:40:11 +00:00
Government.gf
changes in SUMO: formatting and fixes for lots of lots of small problems
2010-06-06 11:06:44 +00:00
Merge.gf
definitions for some high-order predicates that were missing
2010-06-06 12:10:49 +00:00
MergeBul.gf
added week day's names in SUMO for Bulgarian and Swedish
2010-10-21 14:48:04 +00:00
MergeEng.gf
fixed SUMOEng with open instead of import for the Extension module
2010-11-28 19:38:56 +00:00
MergeFre.gf
added Model and ProcessTask in SumoFre and SumoRon
2010-09-06 08:58:30 +00:00
MergeRon.gf
remove Model and ProcessTask from MergeRon because they were already moved
2010-09-17 16:16:36 +00:00
MergeSwe.gf
added week day's names in SUMO for Bulgarian and Swedish
2010-10-21 14:48:04 +00:00
MidLevelOntology.gf
SUMO: remove the uggly SubClassC and use KappaFn instead
2010-06-06 11:44:51 +00:00
MidLevelOntologyEng.gf
fixed SUMOEng with open instead of import for the Extension module
2010-11-28 19:38:56 +00:00
MidLevelOntologyFre.gf
move class Apple from MidLevelOntology to Economy for French and Romanian
2010-07-31 13:54:01 +00:00
MidLevelOntologyRon.gf
move class Apple from MidLevelOntology to Economy for French and Romanian
2010-07-31 13:54:01 +00:00
Military.gf
changes in SUMO: formatting and fixes for lots of lots of small problems
2010-06-06 11:06:44 +00:00
Mondial.gf
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
MondialEng.gf
fix the linearization of GuineaBissau
2010-09-18 17:12:52 +00:00
QoSontology.gf
changes in SUMO: formatting and fixes for lots of lots of small problems
2010-06-06 11:06:44 +00:00
QoSontologyEng.gf
add QoSontologyEng and linearization for ProcessTask
2010-09-06 09:12:49 +00:00
QoSontologyFre.gf
added Model and ProcessTask in SumoFre and SumoRon
2010-09-06 08:58:30 +00:00
QoSontologyRon.gf
added Model and ProcessTask in SumoFre and SumoRon
2010-09-06 08:58:30 +00:00
SUMO.gf
small Swedish/Bulgarian dictionary of birds in SUMO
2010-10-18 08:55:51 +00:00
SUMOBul.gf
small Swedish/Bulgarian dictionary of birds in SUMO
2010-10-18 08:55:51 +00:00
SUMOEng.gf
translation to English of the Birds dictionary
2010-10-18 11:41:39 +00:00
SUMOFre.gf
added Model and ProcessTask in SumoFre and SumoRon
2010-09-06 08:58:30 +00:00
SUMORon.gf
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
SUMOSwe.gf
small Swedish/Bulgarian dictionary of birds in SUMO
2010-10-18 08:55:51 +00:00
Transportation.gf
changes in SUMO: formatting and fixes for lots of lots of small problems
2010-06-06 11:06:44 +00:00
WMD.gf
changes in SUMO: formatting and fixes for lots of lots of small problems
2010-06-06 11:06:44 +00:00
WorldAirportsA_K.gf
changes in SUMO: formatting and fixes for lots of lots of small problems
2010-06-06 11:06:44 +00:00
WorldAirportsL_Z.gf
changes in SUMO: formatting and fixes for lots of lots of small problems
2010-06-06 11:06:44 +00:00