/examples/SUMO/

• ../
• Basic.gf
• BasicEng.gf
• BasicFre.gf
• BasicRon.gf
• Communications.gf
• CountriesAndRegions.gf
• CountriesAndRegionsEng.gf
• Economy.gf
• FinancialOntology.gf
• Geography.gf
• Government.gf
• HigherOrder.gf
• HigherOrderEng.gf
• Merge.gf
• MergeEng.gf
• MergeFre.gf
• MergeRon.gf
• Mid_level_ontology.gf
• Mid_level_ontologyEng.gf
• Mid_level_ontologyFre.gf
• Mid_level_ontologyRon.gf
• Military.gf
• QoSontology.gf
• RGLExt
• SUMO.gf
• SUMOEng.gf
• SUMOFre.gf
• SUMORon.gf
• TPTP
• Transportation.gf
• WMD.gf
• WorldAirportsA_K.gf
• WorldAirportsL_Z.gf
• axioms
• elements.gf
• elementsEng.gf
• engineering.gf
• mondial.gf
• mondialEng.gf