aarne 3123b011fe paths in SUMO

2010-04-19 07:06:36 +00:00

..

axioms

…

RGLExt

…

TPTP

WordsRonSumoFre

2010-04-18 13:55:44 +00:00

Basic.gf

…

BasicEng.gf

replace SS with StmtS in SUMO

2010-02-17 12:38:11 +00:00

BasicFre.gf

WordsRonSumoFre

2010-04-18 13:55:44 +00:00

BasicRon.gf

replace SS with StmtS in SUMO

2010-02-17 12:38:11 +00:00

Communications.gf

…

CountriesAndRegions.gf

…

CountriesAndRegionsEng.gf

…

Economy.gf

…

elements.gf

…

elementsEng.gf

…

engineering.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

…

mondial.gf

…

mondialEng.gf

…

QoSontology.gf

…

SUMO.gf

…

SUMOEng.gf

paths in SUMO

2010-04-19 07:06:36 +00:00

SUMOFre.gf

paths in SUMO

2010-04-19 07:06:36 +00:00

SUMORon.gf

paths in SUMO

2010-04-19 07:06:36 +00:00

Transportation.gf

…

WMD.gf

…

WorldAirportsA_K.gf

…

WorldAirportsL_Z.gf

…