/examples/SUMO/

• ../
• 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
• MondialEng.gf
• QoSontology.gf
• RGLExt
• SUMO.gf
• SUMOEng.gf
• SUMOFre.gf
• SUMORon.gf
• TPTP
• Transportation.gf
• WMD.gf
• WorldAirportsA_K.gf
• WorldAirportsL_Z.gf
• axioms