/examples/SUMO/

• ../
• Basic.gf
• BasicBul.gf
• BasicEng.gf
• 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
• RGLExt
• SUMO.gf
• SUMOBul.gf
• SUMOEng.gf
• SUMOFre.gf
• SUMORon.gf
• SUMOSwe.gf
• TPTP
• Transportation.gf
• WMD.gf
• WorldAirportsA_K.gf
• WorldAirportsL_Z.gf
• axioms