This website requires JavaScript.
Explore
Help
Sign In
GitHub
/
gf-core
Watch
1
Star
0
Fork
1
You've already forked gf-core
mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced
2026-07-16 10:32:46 -06:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
9c86b62212a30a2ee620f76afda80d12913a2725
gf-core
/
examples
/
SUMO
T
History
aarne
752a7b8030
format .gfm for multiple modules in the same file; includes lines with ;-separated words
2010-11-30 14:50:24 +00:00
..
axioms
…
RGLExt
format .gfm for multiple modules in the same file; includes lines with ;-separated words
2010-11-30 14:50:24 +00:00
TPTP
…
Basic.gf
…
BasicBul.gf
…
BasicEng.gf
fixed SUMOEng with open instead of import for the Extension module
2010-11-28 19:38:56 +00:00
BasicFre.gf
…
BasicRon.gf
…
BasicSwe.gf
…
Birds.gf
…
BirdsBul.gf
…
BirdsEng.gf
…
BirdsSwe.gf
…
Communications.gf
…
CountriesAndRegions.gf
…
CountriesAndRegionsEng.gf
…
CountriesAndRegionsRon.gf
…
Economy.gf
…
EconomyEng.gf
…
EconomyFre.gf
…
EconomyRon.gf
…
Elements.gf
…
ElementsEng.gf
…
Engineering.gf
…
EngineeringEng.gf
…
EngineeringFre.gf
…
EngineeringRon.gf
…
FinancialOntology.gf
…
Geography.gf
…
GeographyEng.gf
…
Government.gf
…
Merge.gf
…
MergeBul.gf
…
MergeEng.gf
…
MergeFre.gf
…
MergeRon.gf
…
MergeSwe.gf
…
MidLevelOntology.gf
…
MidLevelOntologyEng.gf
…
MidLevelOntologyFre.gf
…
MidLevelOntologyRon.gf
…
Military.gf
…
Mondial.gf
…
MondialEng.gf
…
QoSontology.gf
…
QoSontologyEng.gf
…
QoSontologyFre.gf
…
QoSontologyRon.gf
…
SUMO.gf
…
SUMOBul.gf
…
SUMOEng.gf
…
SUMOFre.gf
…
SUMORon.gf
…
SUMOSwe.gf
…
Transportation.gf
…
WMD.gf
…
WorldAirportsA_K.gf
…
WorldAirportsL_Z.gf
…
aarne