This website requires JavaScript.
Explore
Help
Sign In
GitHub
/
gf-core
Watch
1
Star
0
Fork
1
mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced
2026-10-20 06:43:10 -06:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
f715e053b9d3ab80fdb5cdd71ae972e07b145501
gf-core
/
examples
/
SUMO
T
History
krasimir
b128872e2d
declare Provice as subclass of StateOrProvince in Mondial.gf
2010-07-21 11:58:51 +00:00
..
axioms
…
RGLExt
…
TPTP
…
Basic.gf
…
BasicEng.gf
…
BasicFre.gf
…
BasicRon.gf
…
Communications.gf
…
CountriesAndRegions.gf
…
CountriesAndRegionsEng.gf
…
Economy.gf
…
EconomyEng.gf
…
Elements.gf
…
ElementsEng.gf
…
Engineering.gf
…
EngineeringEng.gf
…
FinancialOntology.gf
…
Geography.gf
…
Government.gf
…
Merge.gf
…
MergeEng.gf
…
MergeFre.gf
…
MergeRon.gf
…
MidLevelOntology.gf
…
MidLevelOntologyEng.gf
…
MidLevelOntologyFre.gf
…
MidLevelOntologyRon.gf
…
Military.gf
…
Mondial.gf
declare Provice as subclass of StateOrProvince in Mondial.gf
2010-07-21 11:58:51 +00:00
MondialEng.gf
…
QoSontology.gf
…
SUMO.gf
…
SUMOEng.gf
…
SUMOFre.gf
…
SUMORon.gf
…
Transportation.gf
…
WMD.gf
…
WorldAirportsA_K.gf
…
WorldAirportsL_Z.gf
…
