krasimir bfdef2f60c replace SS with StmtS in SUMO

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

..

axioms

SUMO axioms

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

RGLExt

…

TPTP

added TPTP for SUMO

2010-02-17 12:21:41 +00:00

Basic.gf

…

BasicEng.gf

replace SS with StmtS in SUMO

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

BasicFre.gf

replace SS with StmtS in SUMO

2010-02-17 12:38:11 +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

…

SUMOFre.gf

…

SUMORon.gf

…

Transportation.gf

…

WMD.gf

…

WorldAirportsA_K.gf

…

WorldAirportsL_Z.gf

…